[PATCH] D53024: [analyzer][www] Add more open projects

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Whoa thanks! Will have a closer look again.



================
Comment at: www/analyzer/open_projects.html:33
+
+    <li>Handle aggregate construction.
+    <p>Aggregates are object that can be brace-initialized without calling a
----------------
I'll try to list other constructor kinds that i have in mind.


================
Comment at: www/analyzer/open_projects.html:76
+    still suppress false positives, but will not prevent us from inlining the 
+    ethods, and therefore will not cause other false positives. Verifying this
+    hypothesis would be a wonderful accomplishment. Previous understanding of
----------------
Typo: methods.


================
Comment at: www/analyzer/open_projects.html:86-87
+    the opposite direction - integers to pointers - are completely unsupported.
+    Pointer-to-pointer casts are a mess; modeling them with <code><a href="https://clang.llvm.org/doxygen/classclang_1_1ento_1_1ElementRegion.html">
+    ElementRegion </a></code> is a disaster and we are suffering a lot from this
+    hack, but coming up with a significantly better solution is very hard, as
----------------
I'll try to be more, emm, positive on the website :]


================
Comment at: www/analyzer/open_projects.html:234
+  <p>Because LLVM doesn't have branches, unfinished checkers first land in
+  alpha, and are only moved out once they are production-ready. Howeever, over
+  the years many checkers got stuck in alpha, and their developtment have
----------------
Typo: However.


================
Comment at: www/analyzer/open_projects.html:235
+  alpha, and are only moved out once they are production-ready. Howeever, over
+  the years many checkers got stuck in alpha, and their developtment have
+  stalled.
----------------
Typo: Development.


================
Comment at: www/analyzer/open_projects.html:262
+    same time, until the return value of pthread_mutex_destroy was checked by a
+    branch in the code).
+    <i>(Difficulty: Easy)</i></p>
----------------
Something is unfinished here.


Repository:
  rC Clang

https://reviews.llvm.org/D53024