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