aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/GRState.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-12-05Mark SVal constructors 'explicit'.Ted Kremenek
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-12-01Rename all 'AssumeXXX' methods in libCheckerTed Kremenek
2010-12-01Rename all 'EvalXXX' methods in libChecker toTed Kremenek
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
2010-11-24Adjust method calls to reflect name changes inTed Kremenek
2010-09-09Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek
2010-09-03Add optional record of "location" SVals in the environment. When we analyzin...Ted Kremenek
2010-09-03Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol...Ted Kremenek
2010-08-25GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall
2010-08-16Move GRState::AssumeInBound out of its header file -- it's not really inline-...Jordy Rose
2010-08-15Move GRState's bind* methods out of its header file -- they're too big for in...Jordy Rose
2010-08-15StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt...Zhongxing Xu
2010-08-11MemRegion can refer to ASTContext without external help.Zhongxing Xu
2010-08-05Tweak GRState::unbindLoc to use makeWithStore, and make sure it's only called...Jordy Rose
2010-07-23Change arg type.Zhongxing Xu
2010-07-22Make a bunch of new data structures for the new analysisZhongxing Xu
2010-07-06Remove the now-unused GRState::isEqual method. Instead of asking if an expres...Jordy Rose
2010-07-01Add an ivar to SymbolReaper for the current statement, and then stop passing ...Jordy Rose
2010-05-26Remove extents of dead symbolic regions when RemoveDeadBindings.Zhongxing Xu
2010-03-27Checker: random include cleanup.Benjamin Kramer
2010-03-25Add methods to remove a GDM entry.Zhongxing Xu
2010-03-17Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu
2010-03-05Remove reference to AnalysisContext in Environment. We already have LocationC...Zhongxing Xu
2010-03-04When profiling Environment, also profile with AnalysisContext*, bacauseZhongxing Xu
2010-02-08Revert 95541.Ted Kremenek
2010-02-08Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek