Hi clang,<br><br>I'm trying to find out how to implement this statistic checker. IMO, there could be several steps.<br><div style="margin-left: 40px;"><ol><li>Add a ConjuredSymbol to all the CallExpr in PostVisitCallExpr, set the state to Unchecked.</li>




<li>In VisitBranchCondition, if a callexpr is checked, set the state to checked.</li><li>After all the decl was analyzed, do the first part(in a translationunit) of statistic count (and/or check) in AnalysisConsumer::HandleTranslationUnit.</li>



<li>Implement a script to do the whole project's statistic check.</li></ol></div>This patch try to do the first two steps. <br><br>I register the checker in RegisterExperimentalChecks, but a new action seems more appropriate. Statistic checkers are some different from the checkers in RegisterExperimentalChecks.<br>

<br>In order to generate ExplodedNode but not a blockedge, i add a new "generateNode" function in GRBranchNodeBuilder. I think this function is not quite right. I use poststmt as the ProgramPoint, maybe we need a new ProgramPoint here?<br>

<br>Beacause this is a really experimental checker and not all the steps are finished, i can't give a testcase to show what i did. <br><br>More comments inline.<br>
<br>-- <br>Best regards!<br>
<br>Lei Zhang<br>