aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/CoreEngine.cpp
AgeCommit message (Expand)Author
2011-08-11Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-07-21Simplify passing of CFGBuildOptions around for AnalysisContext. No functiona...Ted Kremenek
2011-04-23Remove unused STL header includes.Jay Foad
2011-04-03static analyzer: Add a new ProgramPoint PostCondition to represent the post p...Ted Kremenek
2011-04-02static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that ...Ted Kremenek
2011-02-23[analyzer] Refactor EndOfFunctionNodeBuilder.Argyrios Kyrtzidis
2011-02-17Change the representation of GNU ?: expressions to use a different expressionJohn McCall
2011-02-14[analyzer] Overhauling of the checker registration mechanism.Argyrios Kyrtzidis
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-09static analyzer: Further reduce the analyzer's memory usage when analyzing sq...Ted Kremenek
2011-02-08[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis