[PATCH] D53024: [analyzer][www] Add more open projects
Daniel Krupp via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Oct 17 02:17:45 PDT 2018
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
More information about the cfe-commits
mailing list