aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/SymbolManager.cpp
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-08-27Enabled relaxed LiveVariables analysis in the path-sensitive engine to increa...Tom Care
2010-08-25GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall
2010-08-14Add a new metadata symbol type for checkers to use. Metadata symbols must be ...Jordy Rose
2010-08-11MemRegion can refer to ASTContext without external help.Zhongxing Xu
2010-07-29Change SymbolManager::canSymbolicate() to return true for RecordTypes.Ted Kremenek
2010-07-04Add a new symbol type, SymbolExtent, to represent the extents of memory regio...Jordy Rose
2010-07-01Add an ivar to SymbolReaper for the current statement, and then stop passing ...Jordy Rose
2010-03-27Checker: random include cleanup.Benjamin Kramer
2010-03-05Remove reference to AnalysisContext in Environment. We already have LocationC...Zhongxing Xu
2010-03-01Since now we store the cast type with an ElementRegion, there isZhongxing Xu
2010-02-17In symbol reaper, a variable is live if its stack frame is the parent of the Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek