aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/GRCoreEngine.cpp
AgeCommit message (Expand)Author
2010-10-21Remove unused variable.Ted Kremenek
2010-10-20Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely su...Ted Kremenek
2010-10-20Convert GRSimpleAPIChecks in BasicObjCFoundationChecks to be Checkers.Ted Kremenek
2010-09-30Added two new command line arguments:Marcin Swiderski
2010-09-29Change -analyzer-max-nodes to allow 0 as a parameter. This allows the analyze...Tom Care
2010-09-14Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect t...Tom Care
2010-08-18More PCH -> AST renaming.Sebastian Redl
2010-08-11Have GRCoreEngine record the blocks where analysis was aborted because we vis...Ted Kremenek
2010-08-03Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis...Ted Kremenek
2010-07-22Make a bunch of new data structures for the new analysisZhongxing Xu
2010-07-21Move some methods inline.Zhongxing Xu
2010-07-20Constify all references to Stmt* and CFGBlock* in libChecker.Zhongxing Xu
2010-07-20Constify.Zhongxing Xu
2010-07-19Reapply r108617.Zhongxing Xu
2010-07-17Revert r108617, it broke the build.Benjamin Kramer
2010-07-17Prepare the analyzer for the callee in another translation unit:Zhongxing Xu
2010-06-29Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' alsoTed Kremenek
2010-06-23Add 'VisitEndAnalysis' callback to Checker class. This callback is called by...Ted Kremenek
2010-04-14Move GRStmtNodeBuilder::MakeNode() out of line. No functionality change.Zhongxing Xu
2010-03-23Since we now may have basicblocks with the same block is in different function,Zhongxing Xu
2010-03-05Remove reference to AnalysisContext in Environment. We already have LocationC...Zhongxing Xu
2010-03-04When profiling Environment, also profile with AnalysisContext*, bacauseZhongxing Xu
2010-02-26Remove derelict GRStmtNodeBuilder::LastNode.Zhongxing Xu
2010-02-25Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted d...Douglas Gregor
2010-02-25Revert patches r97122 r97127 r97129 r97131.Jakob Stoklund Olesen
2010-02-25Move the GenerateCallExitNode logic completely into GREndPathNodeBuilder.Zhongxing Xu
2010-02-25Move the dead bindings removal logic from CallInliner to GRExprEngine::Proces...Zhongxing Xu
2010-02-25Add comments.Zhongxing Xu
2010-02-25Call inliner improvements:Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek