[cfe-commits] [PATCH] Additional output for AnalyzerStatsChecker

[Tom Care]

I made some changes to AnalyzerStatsChecker to make it a bit more useful. Changelog:

    Improved the information output by AnalyzerStatsChecker. In addition to the analysis stats for Decls, AnalyzerStatsChecker now also outputs:
    - Exhausted blocks and sinks, including their approximate location
    - Aborted blocks and their statement locations
    - When and where the analyzer reaches the max block limit
    Some supporting infrastructure changes:
    - CoreEngine now stores Stmt* with the ExplodedNode* in the aborted block data, since the node can change between generation and VisitEndAnalysis
    - Exposed 'block limit exceeded' tag to allow AnalyzerStatsChecker to detect a sink caused by exceeding the max visits for a block

Regarding test cases, any test case made for this checker would break quite frequently as the analyzer is changed. I can't think of a good way to solve this.

Been a while since my last commit, so a review is much appreciated :)

Tom
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AnalyzerStatsChecker.patch
Type: application/octet-stream
Size: 12009 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20120223/62cd40a9/attachment.obj>