summaryrefslogtreecommitdiffstats
path: root/clang/include/clang/Analysis/PathSensitive/SVals.h
Commit message (Expand)AuthorAgeFilesLines
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-499/+0
* Remove ';' after method definition. Noticed by clang++, which one would thinkDaniel Dunbar2009-12-191-1/+1
* Add (initial?) static analyzer support for handling C++ references.Ted Kremenek2009-12-161-1/+2
* Rename: StripCasts describes what it does better. Zhongxing Xu2009-11-101-1/+1
* Add checker for CWE-587: Assignment of a Fixed Address to a Pointer.Zhongxing Xu2009-11-091-0/+2
* Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek2009-09-111-10/+38
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-80/+80
* ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' forTed Kremenek2009-08-241-1/+1
* Introduce 'DefinedSVal', an intermediate parent class between Loc/NonLoc andTed Kremenek2009-08-241-5/+16
* Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of ...Ted Kremenek2009-08-061-0/+3
* Implement lazy "copying" of structures and arrays in RegionStore. WhileTed Kremenek2009-08-061-1/+22
* Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions withTed Kremenek2009-07-291-0/+2
* Introduce Type::isAnyPointerType() and convert all clients (suggested by Chris).Steve Naroff2009-07-141-2/+1
* Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an...Ted Kremenek2009-07-131-5/+16
* This patch includes a conceptually simple, but very intrusive/pervasive change. Steve Naroff2009-07-101-1/+1
* add utility method.Zhongxing Xu2009-06-301-0/+2
* Introduce a new concept to the static analyzer: SValuator.Ted Kremenek2009-06-261-3/+3
* Remove uses of std::ostream from libAnalysis.Ted Kremenek2009-06-241-1/+0
* Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu2009-06-231-31/+4
* Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek2009-06-181-2/+2
* Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu2009-05-121-0/+3
* Remove loc::FuncVal.Zhongxing Xu2009-04-201-28/+1
* get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu2009-04-201-0/+5
* Move a few more NonLoc static functions to ValueManager.Ted Kremenek2009-04-101-9/+0
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-18/+1
* - Move ownership of MemRegionManager into ValueManager.Ted Kremenek2009-04-091-9/+0
* Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal.Ted Kremenek2009-04-091-2/+0
* 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/+2
* Create a symbolic region instead of a loc::SymbolVal. This is a continued stepZhongxing Xu2009-04-091-2/+2
* Enhance analyzer reasoning about sending messages to nil. A nil receiver ret...Ted Kremenek2009-04-081-5/+5
* This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu2009-04-031-1/+3
* Remove dead code.Ted Kremenek2009-03-301-4/+7
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-57/+44
* This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu2009-03-251-0/+6
* GRExprEngine:Ted Kremenek2009-03-201-0/+3
* Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek2009-03-031-7/+15
* Fix a couple bugs:Ted Kremenek2009-01-301-2/+2
* Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek2009-01-221-11/+3
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-1/+11
* Add utility method. Remove an unused method.Zhongxing Xu2008-12-091-2/+2
* Change the implementation of symbol_iterator to not use a union and rely on a...Ted Kremenek2008-12-051-11/+11
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-9/+9
* Add utility methods.Zhongxing Xu2008-11-241-0/+5
* Add getSize() support for StringRegion.Zhongxing Xu2008-11-241-0/+4
* Initial support for checking out of bound memory access. Only support Zhongxing Xu2008-11-221-0/+3
* Add SymbolData for array elements and struct fields.Zhongxing Xu2008-11-191-0/+4
* Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an adap...Ted Kremenek2008-10-301-2/+0
* Added iterators to nonloc::CompoundSVal.Ted Kremenek2008-10-301-1/+5
* CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This ...Ted Kremenek2008-10-301-7/+7
OpenPOWER on IntegriCloud