aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/AnalysisContext.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-21Speed up compilation by avoiding generating exceptional edges fromMike Stump
2009-12-24As Ted suggested, record the callsite information with the StackFrameContext.Zhongxing Xu
2009-12-11Enhance understanding of VarRegions referenced by a block whose declarations ...Ted Kremenek
2009-12-07Add analysis support for blocks. This includes a few key changes:Ted Kremenek
2009-12-04Allow BlockInvocationContext to wrap either a BlockDecl* or a BlockDataRegion...Ted Kremenek
2009-12-04Refactor LocationContext creation logic into a single member template.Ted Kremenek
2009-12-04Refactor FoldingSet profiling code for LocationContexts, and add a new BlockI...Ted Kremenek
2009-11-26Enhance LiveVariables to understand that blocks can extend the liveness of a ...Ted Kremenek
2009-11-17Silence some warnings produced by Clang, and add a missing headerDouglas Gregor
2009-11-02Hopefully make gcc-4.0 happy with respect to the following warning:Ted Kremenek
2009-11-02Add "virtual" keywords for clarity.Ted Kremenek
2009-10-20Add destructor and cleanup code to LocationContext (fixing some leaks). Along...Ted Kremenek
2009-10-13Add an initial implementation of EnterStackFrame() to the StoreManager.Zhongxing Xu
2009-09-10Make AnalysisManager stateless. Now other analyzer components only depends onZhongxing Xu
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-21Remove 'AnalysisContext::setDecl()', as we the Decl associated with anTed Kremenek
2009-08-21Constify LocationContext* (parent) and Stmt* fields in LocationContext.Ted Kremenek
2009-08-21Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.Ted Kremenek
2009-08-19Get the Decl from the current ExplodedNode. Eventually the diagnostic clientZhongxing Xu
2009-08-18Now we can get the CFG from the ProgramPoint. No need to pass in the Zhongxing Xu
2009-08-17To make the analysis independent on the locally stored liveness and cfgZhongxing Xu
2009-08-03add a bunch of routine methods to AnalysisContext.Zhongxing Xu
2009-08-03Add LocationContext classes to enable creation of cross function Zhongxing Xu
2009-07-30This patch collects all analysis context data into a new class Zhongxing Xu