summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/BasicStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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