summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/SVals.cpp
Commit message (Expand)AuthorAgeFilesLines
* Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu2009-05-121-0/+25
* Rename:Zhongxing Xu2009-05-091-2/+2
* As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu2009-05-091-1/+1
* rename: MemRegion:Zhongxing Xu2009-05-091-1/+1
* Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.Ted Kremenek2009-05-041-1/+1
* array indexes are unsigned integers of the same width as pointer.Zhongxing Xu2009-05-041-0/+4
* Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle anyTed Kremenek2009-04-211-1/+1
* Remove loc::FuncVal.Zhongxing Xu2009-04-201-9/+0
* get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu2009-04-201-3/+20
* As we now have ValueManager as the new value factory, we do not need factoryZhongxing Xu2009-04-201-1/+1
* Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek2009-04-111-0/+4
* Move a few more NonLoc static functions to ValueManager.Ted Kremenek2009-04-101-9/+8
* Add prototype for CodeTextRegion.Zhongxing Xu2009-04-101-0/+24
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-7/+0
* - Move ownership of MemRegionManager into ValueManager.Ted Kremenek2009-04-091-9/+8
* Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal.Ted Kremenek2009-04-091-1/+1
* stop using loc::SymbolVal and clean up code with new API.Zhongxing Xu2009-04-091-2/+0
* Add a new method because sometimes the type of the conjured symbol is not theZhongxing Xu2009-04-091-0/+13
* Create a symbolic region instead of a loc::SymbolVal. This is a continued stepZhongxing Xu2009-04-091-13/+10
* Enhance analyzer reasoning about sending messages to nil. A nil receiver ret...Ted Kremenek2009-04-081-0/+20
* This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu2009-04-031-2/+3
* Remove dead code.Ted Kremenek2009-03-301-103/+0
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-109/+107
* This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu2009-03-251-0/+17
* GRExprEngine:Ted Kremenek2009-03-201-0/+17
* Fix crash reported in <rdar://problem/6695527>. We now haveTed Kremenek2009-03-181-3/+10
* Remove some now-unneeded calls to llvm::errs().flush().Daniel Dunbar2009-03-101-1/+1
* Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek2009-03-031-0/+36
* Fix case where we should use dyn_cast instead of cast.Ted Kremenek2009-03-031-1/+1
* Fix a couple bugs:Ted Kremenek2009-01-301-4/+3
* Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek2009-01-221-31/+7
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-0/+15
* Add utility method. Remove an unused method.Zhongxing Xu2008-12-091-0/+2
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-2/+2
* Add utility methods.Zhongxing Xu2008-11-241-0/+9
* Add getSize() support for StringRegion.Zhongxing Xu2008-11-241-0/+5
* Initial support for checking out of bound memory access. Only support Zhongxing Xu2008-11-221-0/+5
* Add SymbolData for array elements and struct fields.Zhongxing Xu2008-11-191-0/+16
* Flush llvm::errs() when printing out SVals.Ted Kremenek2008-11-151-1/+1
* Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an adap...Ted Kremenek2008-10-301-125/+9
* Added iterators to nonloc::CompoundSVal.Ted Kremenek2008-10-301-0/+21
* 80 col violation.Ted Kremenek2008-10-301-3/+3
* CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This ...Ted Kremenek2008-10-301-3/+8
* Add CompoundVal and CompoundValData for representing the value of InitListExpr.Zhongxing Xu2008-10-301-0/+5
* - Fix type-punning warning in SVals.cpp by using a real iterator class for sy...Ted Kremenek2008-10-271-11/+11
* Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu2008-10-261-16/+0
* Add printing with llvm::raw_ostream methods to SVals.Zhongxing Xu2008-10-241-0/+131
* Rename:Zhongxing Xu2008-10-211-0/+399
OpenPOWER on IntegriCloud