aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/RegionStore.cpp
AgeCommit message (Expand)Author
2010-06-25Change RegionStoreManager::Retrieve to infer the type of a symbolic region fr...Tom Care
2010-06-22Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixe...Ted Kremenek
2010-06-17Implement RegionStoreManager::iterBindings(). This implementation only retur...Ted Kremenek
2010-06-01Limit the use of BindDefault().Zhongxing Xu
2010-06-01Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my Zhongxing Xu
2010-05-31After conversations with Zhongxing Xu and Jordy Rose, refine the logic inTed Kremenek
2010-05-29Revert r105097. Thinking about a better fix.Zhongxing Xu
2010-05-29Fix PR7218. Patch by Jordy Rose.Zhongxing Xu
2010-05-26Small fix.Zhongxing Xu
2010-05-26Remove extents of dead symbolic regions when RemoveDeadBindings.Zhongxing Xu
2010-05-25CastSizeChecker checks when casting a malloc'ed symbolic region to type T,Zhongxing Xu
2010-04-26Introduce Type::isStructureOrClassType(), which does the obviousDouglas Gregor
2010-04-19Analyzer: add support for CXXNewExpr.Zhongxing Xu
2010-04-09Remove copy of 'Optional' in Clang tree, and convert clients to use the one n...Ted Kremenek
2010-04-01Use the element type to compute the array size when the base region is a VarR...Zhongxing Xu
2010-04-01Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() whereTed Kremenek
2010-03-30RegionStore: specially handle loads from integer global variables declared 'c...Ted Kremenek
2010-03-30Use 'const Optional<SVal>&' to avoid an extra copy.Ted Kremenek
2010-03-23Bind the constructed object value to CXXConstructExpr.Zhongxing Xu
2010-03-17Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu
2010-03-16Add VisitCXXContructExpr logic to the analyzer. This still has not fully workedZhongxing Xu
2010-03-10Simplify assertion.Ted Kremenek
2010-03-10Remove '#if 0' code. Lazy compound values have proven their worth.Ted Kremenek
2010-03-10Remove the subregion map cache. It is no longer used.Ted Kremenek
2010-03-10Fix stale comment.Ted Kremenek
2010-03-10Really apply (unnoticed weird git-svn merge conflict in 98144): Refactor Regi...Ted Kremenek
2010-03-10Refactor RegionStore::RemoveDeadBindings to use the same coreTed Kremenek
2010-03-10Refactor some of RegionStore's InvalidateRegionsWorker classTed Kremenek
2010-03-01Since now we store the cast type with an ElementRegion, there isZhongxing Xu
2010-03-01Assert when loading from a code text region instead of returning an unknown s...Zhongxing Xu
2010-02-13Enhance RegionStore::InvalidateRegions() to correctly invalidate bindingsTed Kremenek
2010-02-13Pull logic for visiting value bindings in InvalidateRegionsWorker into a sepa...Ted Kremenek
2010-02-11Eliminate the ASTContext parameter from RecordDecl::getDefinition()Douglas Gregor
2010-02-10Add comment.Zhongxing Xu
2010-02-09Fix lookup of fields from lazy bindings to check if the region isTed Kremenek
2010-02-08Revert 95541.Ted Kremenek
2010-02-08Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu
2010-02-08Like for symbolic region, automatically create a element zero region for 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-06Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are im...Ted Kremenek
2010-02-06Fix regression in RegionStore (from BasicStore) where static variables were n...Ted Kremenek
2010-02-06Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek
2010-02-05More GRState* -> Store changes.Zhongxing Xu
2010-02-05Remove unused parameter.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-05Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need toZhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-02 22:20:52 +0000