aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive/GRCoreEngine.h
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-20Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.Ted Kremenek
2010-11-24Use StackFrameContext directly in CallEnter program point. Then we don't needZhongxing Xu
2010-11-16Handle member initializer in C++ ctor. Zhongxing Xu
2010-11-15Add skeleton for handling other kinds of CFGElements.Zhongxing Xu
2010-10-20Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely su...Ted Kremenek
2010-09-16Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patchZhongxing Xu
2010-09-09Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consi...Ted Kremenek
2010-08-26Fix horrible GRExprEngine bug where switch statements with no 'case:' stateme...Ted Kremenek
2010-08-12Improved IdempotentOperationChecker false positives and false negatives.Tom Care
2010-08-11Have GRCoreEngine record the blocks where analysis was aborted because we vis...Ted Kremenek
2010-08-03Changed GRExprEngine to pass down a reference to itself when checkers are doi...Tom Care
2010-07-23AnalysisContext is not const.Zhongxing Xu
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-07-01ExplodedGraph never uses ASTContext, remove it.Zhongxing Xu
2010-06-29Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' alsoTed 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-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 dead bindings removal logic from CallInliner to GRExprEngine::Proces...Zhongxing Xu
2010-02-25Call inliner improvements:Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek