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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
