aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/AnalysisContext.cpp
AgeCommit message (Expand)Author
2011-10-24Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cppChandler Carruth
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek
2011-10-23[analyzer] Remove LocationContext creation methods from AnalysisManager, and ...Ted Kremenek
2011-10-07Remove AnalysisContext::getLiveVariables(), and introduce a templatized mecha...Ted Kremenek
2011-09-19[analyzer] Constify a method.Anna Zaks
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-07-21Simplify passing of CFGBuildOptions around for AnalysisContext. No functiona...Ted Kremenek
2011-06-10[analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose
2011-03-19Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'.Ted Kremenek
2011-03-10When doing reachability analysis for warnings issued under DiagRuntimeBehavio...Ted Kremenek
2011-03-10Rework interaction between AnalysisContext and CFG::BuildOptions to keep a Bu...Ted Kremenek
2011-02-23Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and in...Ted Kremenek
2011-02-23Have IdempotentOperationsChecker pull its CFGStmtMap from AnalysisContext.Ted Kremenek
2011-02-13Give some convenient idiomatic accessors to Stmt::child_range andJohn McCall
2011-01-16Add AnalysisContext::dumpCFG.Anders Carlsson
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-11-24Let StackFrameContext represent if the call expr is evaluated as lvalue.Zhongxing Xu
2010-09-30Added two new command line arguments:Marcin Swiderski
2010-09-14Add CFG::BuildOptions class to pass in CFG builder options under on parameter...Ted Kremenek
2010-08-28Delete the relaxedLiveness object in the dtor of AnalysisContext.Ted Kremenek
2010-08-27Add alternate version of LiveVariables analysis that does not kill liveness a...Tom Care
2010-08-23Several small changes to PseudoConstantAnalysis and the way IdempotentOperati...Tom Care
2010-08-18Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care
2010-08-03Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis...Ted Kremenek
2010-08-02Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to ...Ted Kremenek
2010-07-22Make a bunch of new data structures for the new analysisZhongxing 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-03-23Only perform CFG-based warnings on 'static inline' functions thatTed Kremenek
2010-03-10When computing in AnalysisContext the variables referencedTed Kremenek
2010-02-17Add a utility method.Zhongxing Xu
2010-02-06Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-21Speed up compilation by avoiding generating exceptional edges fromMike Stump
2010-01-21Add infrastructure to add base initializers and member initializers toMike Stump
2010-01-13Add an unreachable code checker.Mike Stump
2009-12-24As Ted suggested, record the callsite information with the StackFrameContext.Zhongxing Xu
2009-12-12Un-namespace-qualify llvm_unreachable. It's a macro, so the qualification gaveJeffrey Yasskin
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-04Teach AnalysisContext::getBody() about BlockDecls.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-10-20Add destructor and cleanup code to LocationContext (fixing some leaks). Along...Ted Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-21Remove 'AnalysisContext::setDecl()', as we the Decl associated with anTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2024-11-26 21:17:00 +0000