summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Change RegionStoreManager::Retrieve to infer the type of a symbolic region fr...Tom Care2010-06-251-1/+6
* Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixe...Ted Kremenek2010-06-221-2/+1
* Implement RegionStoreManager::iterBindings(). This implementation only retur...Ted Kremenek2010-06-171-6/+11
* Limit the use of BindDefault().Zhongxing Xu2010-06-011-1/+5
* Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my Zhongxing Xu2010-06-011-1/+6
* After conversations with Zhongxing Xu and Jordy Rose, refine the logic inTed Kremenek2010-05-311-19/+25
* Revert r105097. Thinking about a better fix.Zhongxing Xu2010-05-291-18/+5
* Fix PR7218. Patch by Jordy Rose.Zhongxing Xu2010-05-291-3/+17
* Small fix.Zhongxing Xu2010-05-261-1/+1
* Remove extents of dead symbolic regions when RemoveDeadBindings.Zhongxing Xu2010-05-261-7/+15
* CastSizeChecker checks when casting a malloc'ed symbolic region to type T,Zhongxing Xu2010-05-251-7/+12
* Introduce Type::isStructureOrClassType(), which does the obviousDouglas Gregor2010-04-261-8/+8
* Analyzer: add support for CXXNewExpr.Zhongxing Xu2010-04-191-10/+0
* Remove copy of 'Optional' in Clang tree, and convert clients to use the one n...Ted Kremenek2010-04-091-9/+9
* Use the element type to compute the array size when the base region is a VarR...Zhongxing Xu2010-04-011-3/+6
* Fix a bug (PR 6699) in RegionStore::RemoveDeadBindings() whereTed Kremenek2010-04-011-32/+31
* RegionStore: specially handle loads from integer global variables declared 'c...Ted Kremenek2010-03-301-1/+16
* Use 'const Optional<SVal>&' to avoid an extra copy.Ted Kremenek2010-03-301-8/+8
* Bind the constructed object value to CXXConstructExpr.Zhongxing Xu2010-03-231-3/+2
* Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu2010-03-171-4/+18
* Add VisitCXXContructExpr logic to the analyzer. This still has not fully workedZhongxing Xu2010-03-161-9/+22
* Simplify assertion.Ted Kremenek2010-03-101-5/+1
* Remove '#if 0' code. Lazy compound values have proven their worth.Ted Kremenek2010-03-101-39/+0
* Remove the subregion map cache. It is no longer used.Ted Kremenek2010-03-101-8/+0
* Fix stale comment.Ted Kremenek2010-03-101-1/+1
* Really apply (unnoticed weird git-svn merge conflict in 98144): Refactor Regi...Ted Kremenek2010-03-101-299/+290
* Refactor RegionStore::RemoveDeadBindings to use the same coreTed Kremenek2010-03-101-87/+87
* Refactor some of RegionStore's InvalidateRegionsWorker classTed Kremenek2010-03-101-62/+86
* Since now we store the cast type with an ElementRegion, there isZhongxing Xu2010-03-011-5/+5
* Assert when loading from a code text region instead of returning an unknown s...Zhongxing Xu2010-03-011-1/+3
* Enhance RegionStore::InvalidateRegions() to correctly invalidate bindingsTed Kremenek2010-02-131-12/+32
* Pull logic for visiting value bindings in InvalidateRegionsWorker into a sepa...Ted Kremenek2010-02-131-20/+28
* Eliminate the ASTContext parameter from RecordDecl::getDefinition()Douglas Gregor2010-02-111-1/+1
* Add comment.Zhongxing Xu2010-02-101-1/+2
* Fix lookup of fields from lazy bindings to check if the region isTed Kremenek2010-02-091-9/+5
* Revert 95541.Ted Kremenek2010-02-081-1/+1
* Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu2010-02-081-1/+1
* Like for symbolic region, automatically create a element zero region for Zhongxing Xu2010-02-081-15/+5
* Unify the implementation of getLValueElement of store managers.Zhongxing Xu2010-02-081-57/+0
* Unify the implementation of getLValueIvar and getLValueField of store managers.Zhongxing Xu2010-02-081-55/+0
* Move common methods to the base StoreManager class.Zhongxing Xu2010-02-081-33/+0
* Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are im...Ted Kremenek2010-02-061-1/+3
* Fix regression in RegionStore (from BasicStore) where static variables were n...Ted Kremenek2010-02-061-3/+15
* Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek2010-02-061-4/+5
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-6/+4
* Remove unused parameter.Zhongxing Xu2010-02-051-4/+2
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-6/+3
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-111/+92
* More GRState* -> Store changes.Zhongxing Xu2010-02-051-31/+26
* Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need toZhongxing Xu2010-02-051-46/+46
OpenPOWER on IntegriCloud