summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/GRState.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis2010-12-221-550/+0
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-4/+4
* Mark SVal constructors 'explicit'.Ted Kremenek2010-12-051-1/+1
* Merge ValueManager into SValBuilder.Ted Kremenek2010-12-021-14/+15
* Rename all 'AssumeXXX' methods in libCheckerTed Kremenek2010-12-011-2/+2
* Rename all 'EvalXXX' methods in libChecker toTed Kremenek2010-12-011-7/+7
* Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek2010-12-011-2/+2
* Adjust method calls to reflect name changes inTed Kremenek2010-11-241-4/+4
* Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek2010-09-091-3/+3
* Add optional record of "location" SVals in the environment. When we analyzin...Ted Kremenek2010-09-031-3/+43
* Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol...Ted Kremenek2010-09-031-0/+36
* GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall2010-08-251-3/+3
* Move GRState::AssumeInBound out of its header file -- it's not really inline-...Jordy Rose2010-08-161-0/+44
* Move GRState's bind* methods out of its header file -- they're too big for in...Jordy Rose2010-08-151-0/+73
* StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt...Zhongxing Xu2010-08-151-4/+4
* MemRegion can refer to ASTContext without external help.Zhongxing Xu2010-08-111-1/+1
* Tweak GRState::unbindLoc to use makeWithStore, and make sure it's only called...Jordy Rose2010-08-051-3/+3
* Change arg type.Zhongxing Xu2010-07-231-1/+1
* Make a bunch of new data structures for the new analysisZhongxing Xu2010-07-221-0/+11
* Remove the now-unused GRState::isEqual method. Instead of asking if an expres...Jordy Rose2010-07-061-25/+0
* Add an ivar to SymbolReaper for the current statement, and then stop passing ...Jordy Rose2010-07-011-3/+3
* Remove extents of dead symbolic regions when RemoveDeadBindings.Zhongxing Xu2010-05-261-4/+3
* Checker: random include cleanup.Benjamin Kramer2010-03-271-1/+1
* Add methods to remove a GDM entry.Zhongxing Xu2010-03-251-0/+12
* Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu2010-03-171-1/+2
* Remove reference to AnalysisContext in Environment. We already have LocationC...Zhongxing Xu2010-03-051-14/+6
* When profiling Environment, also profile with AnalysisContext*, bacauseZhongxing Xu2010-03-041-0/+6
* Revert 95541.Ted Kremenek2010-02-081-4/+4
* Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu2010-02-081-4/+4
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-1/+2
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-1/+2
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-0/+358
OpenPOWER on IntegriCloud