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

[Daniel Krupp via Phabricator via cfe-commits]

dkrupp added inline comments.


================
Comment at: www/analyzer/open_projects.html:198
+      or using a dataflow framework.
+      <i>(Difficulty: Hard)</i><p>
+    </li>
----------------
Probably it is worth mentioning here, that there is a macro language already for describing summaries of standard library functions in StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp. 

This macro language could be refactored to a separate header file so it could be used in other checkers too. Could also be extended for C++. 

Another useful addition would be to enable users to describe these summaries in run-time (in YAML files for example) to be able to model their own proprietary library functions. 

Then as a next step we could introduce a flow sensitive analysis to generate such summaries automatically. Which is a hard problem indeed, the others above should not be too difficult


Repository:
  rC Clang

https://reviews.llvm.org/D53024