aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/BasicStore.cpp
AgeCommit message (Expand)Author
2010-08-26De-memberify the VarDecl and FunctionDecl StorageClass enums.John McCall
2010-08-19Remove dead code. Patch by Jon Mulder!Jordy Rose
2010-08-15StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt...Zhongxing Xu
2010-08-15Remove redundant method.Zhongxing Xu
2010-08-14Add a callback for when region changes occur. Still somewhat of a work-in-pro...Jordy Rose
2010-08-11MemRegion can refer to ASTContext without external help.Zhongxing Xu
2010-07-29Explicitly guard in BasicStore from storing to non-scalars.Ted Kremenek
2010-07-20constify.Zhongxing Xu
2010-07-01Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...Ted Kremenek
2010-07-01Add an ivar to SymbolReaper for the current statement, and then stop passing ...Jordy Rose
2010-06-17Correctly return early from BasicStoreManager::iterBindings() when the Bindin...Ted Kremenek
2010-05-26Remove extents of dead symbolic regions when RemoveDeadBindings.Zhongxing Xu
2010-04-26Introduce Type::isStructureOrClassType(), which does the obviousDouglas Gregor
2010-03-17Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu
2010-03-10Enhance basic store to also lazily symbolicate VarRegionsTed Kremenek
2010-03-02[CFG]Ted Kremenek
2010-03-01Since now we store the cast type with an ElementRegion, there isZhongxing Xu
2010-02-08BindInternal is redundant. Remove it.Zhongxing Xu
2010-02-08Unify the implementation of getLValueElement of store managers.Zhongxing Xu
2010-02-08Unify the implementation of getLValueIvar and getLValueField of store managers.Zhongxing Xu
2010-02-08Move common methods to the base StoreManager class.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-04Now that CastRetrievedVal returns SVal, there is no need to use CastResult.Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek