summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/BasicStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis2010-12-221-593/+0
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-1/+1
* Merge ValueManager into SValBuilder.Ted Kremenek2010-12-021-14/+14
* Adjust method calls to reflect name changes inTed Kremenek2010-11-241-5/+5
* Added mapping from 'this' to it's SymbolicRegion in BasicStoreManager::getIni...Marcin Swiderski2010-11-171-0/+9
* Basic support for C++ in BasicStore:Marcin Swiderski2010-11-161-6/+11
* RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete a...Ted Kremenek2010-11-111-4/+3
* De-memberify the VarDecl and FunctionDecl StorageClass enums.John McCall2010-08-261-2/+2
* Remove dead code. Patch by Jon Mulder!Jordy Rose2010-08-191-5/+0
* StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt...Zhongxing Xu2010-08-151-7/+4
* Remove redundant method.Zhongxing Xu2010-08-151-5/+1
* Add a callback for when region changes occur. Still somewhat of a work-in-pro...Jordy Rose2010-08-141-6/+11
* MemRegion can refer to ASTContext without external help.Zhongxing Xu2010-08-111-4/+4
* Explicitly guard in BasicStore from storing to non-scalars.Ted Kremenek2010-07-291-5/+3
* constify.Zhongxing Xu2010-07-201-2/+2
* Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...Ted Kremenek2010-07-011-6/+84
* Add an ivar to SymbolReaper for the current statement, and then stop passing ...Jordy Rose2010-07-011-3/+3
* Correctly return early from BasicStoreManager::iterBindings() when the Bindin...Ted Kremenek2010-06-171-1/+2
* Remove extents of dead symbolic regions when RemoveDeadBindings.Zhongxing Xu2010-05-261-3/+5
* Introduce Type::isStructureOrClassType(), which does the obviousDouglas Gregor2010-04-261-1/+1
* Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu2010-03-171-1/+4
* Enhance basic store to also lazily symbolicate VarRegionsTed Kremenek2010-03-101-1/+2
* [CFG]Ted Kremenek2010-03-021-19/+29
* Since now we store the cast type with an ElementRegion, there isZhongxing Xu2010-03-011-3/+3
* BindInternal is redundant. Remove it.Zhongxing Xu2010-02-081-14/+9
* Unify the implementation of getLValueElement of store managers.Zhongxing Xu2010-02-081-55/+0
* Unify the implementation of getLValueIvar and getLValueField of store managers.Zhongxing Xu2010-02-081-48/+0
* Move common methods to the base StoreManager class.Zhongxing Xu2010-02-081-11/+0
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-8/+5
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-1/+1
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-24/+19
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-4/+4
* Now that CastRetrievedVal returns SVal, there is no need to use CastResult.Zhongxing Xu2010-02-041-12/+8
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-0/+625
OpenPOWER on IntegriCloud