aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/AnalysisContext.h
AgeCommit message (Expand)Author
2013-03-30[analyzer] Add debug helper LocationContext::dumpStack().Jordan Rose
2013-03-29Add configuration plumbing to enable static initializer branching in the CFG ...Ted Kremenek
2013-02-05[analyzer] Fix typo, better doxygen as per Jordan's feedback.Anna Zaks
2013-02-02[analyzer] Always inline functions with bodies generated by BodyFarm.Anna Zaks
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-11-03[analyzer] add LocationContext::inTopFrame() helper.Anna Zaks
2012-10-11Remove pointless classof()'s.Sean Silva
2012-09-27Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and only if. S...Sylvestre Ledru
2012-09-27Fix a typo 'iff' => 'if'Sylvestre Ledru
2012-09-21Simplify getRuntimeDefinition() back to taking no arguments.Ted Kremenek
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-21Constify method.Ted Kremenek
2012-09-21Ensure that the Decl* wrapped by an AnalysisDeclContext cannot be changed afterTed Kremenek
2012-09-21Remove unused fields.Ted Kremenek
2012-09-05[analyzer] Always include destructors in the analysis CFG.Jordan Rose
2012-06-01static analyzer: add inlining support for directly called blocks.Ted Kremenek
2012-04-28[analyzer] Remove references to idx::TranslationUnit. Index is dead, cross-TU...Jordy Rose
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2011-12-22Colorize and condense CFG pretty-printing.Ted Kremenek
2011-12-22Enhance AnalysisDeclContext::getReferencedBlockVars() to understand PseudoObj...Ted Kremenek
2011-11-09Fixing 80 col violations (& removing any trailing whitespace on files I was t...David Blaikie
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-21Simplify passing of CFGBuildOptions around for AnalysisContext. No functiona...Ted Kremenek
2011-07-19Add hooks into the CFG builder to force that specific expressions are always ...Ted Kremenek
2011-07-06Build up statistics about the work done for analysis based warnings.Chandler Carruth
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-01-16Add AnalysisContext::dumpCFG.Anders Carlsson
2011-01-10Remove dead code.Zhongxing Xu
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-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-20Add comments.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-03-23Only perform CFG-based warnings on 'static inline' functions thatTed Kremenek