summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRSimpleVals.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove loc::FuncVal.Zhongxing Xu2009-04-201-2/+0
* Move a few more NonLoc static functions to ValueManager.Ted Kremenek2009-04-101-4/+5
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-52/+0
* - Move ownership of MemRegionManager into ValueManager.Ted Kremenek2009-04-091-4/+1
* stop using loc::SymbolVal and clean up code with new API.Zhongxing Xu2009-04-091-32/+21
* clean up code with new API.Zhongxing Xu2009-04-091-4/+2
* Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixesTed Kremenek2009-03-281-6/+4
* Simplify some code. No functionality change.Zhongxing Xu2009-03-261-16/+4
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-50/+61
* This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu2009-03-251-5/+10
* Teach GRSimpleVals::EvalNE and GRSimplVals::EvalEQ about TypedRegionViews andTed Kremenek2009-03-091-4/+41
* Initial support for pointer arithmetic. Only support concrete indexes and Zhongxing Xu2009-03-021-1/+2
* Fix a crash in GRSimpleVals::EvalCast due not handling transparent unions.Ted Kremenek2009-02-101-0/+5
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-1/+1
* Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv...Ted Kremenek2008-11-151-8/+40
* GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) ...Ted Kremenek2008-11-131-1/+1
* Rename:Zhongxing Xu2008-10-301-4/+4
* Only loc::MemRegionVal can be modified. This avoids crashing in RegionStore w...Zhongxing Xu2008-10-271-1/+1
* Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu2008-10-261-2/+0
* When conjuring symbols to recover path-sensitivity, don't conjure symbols tha...Ted Kremenek2008-10-171-3/+5
* This patch did the following renaming. There should be no functional changes.Zhongxing Xu2008-10-171-99/+99
* Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi...Ted Kremenek2008-10-171-10/+0
* This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek2008-10-041-2/+2
* When we have a binary expression 'int operator symbol', properly rewrite this asTed Kremenek2008-09-191-6/+16
* Rename ValueState -> GRState.Ted Kremenek2008-08-131-12/+12
* Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GR...Ted Kremenek2008-07-221-394/+0
* Added path-sensitive checking for null pointer values passed to function argu...Ted Kremenek2008-07-221-0/+58
* Fix regression by explicitly checking if we are negating a SymIntConstantVal.Ted Kremenek2008-07-181-1/+6
* Improve path-sensitivity when using the logical not operator.Ted Kremenek2008-07-181-0/+34
* Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is ...Ted Kremenek2008-07-181-2/+3
* Created ValueStateSet class to manage the creation of multiple states by a me...Ted Kremenek2008-07-181-3/+3
* Fix regression introduced by http://lists.cs.uiuc.edu/pipermail/cfe-commits/W...Ted Kremenek2008-07-161-2/+4
* Fix transfer function logic in GRSimpleVals for integer casts: only support c...Ted Kremenek2008-07-151-0/+4
* Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "b...Ted Kremenek2008-07-111-4/+4
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-101-5/+5
* Unify the code path for the Dead Stores checker to always use the BugReporter...Ted Kremenek2008-07-021-3/+0
* Refactored some of the BugReporter interface so that data such as the ASTCont...Ted Kremenek2008-07-021-10/+10
* Added a simple static analysis check to look for improper uses of CFCreateNum...Ted Kremenek2008-06-261-3/+7
* Support StringLiteralVal when comparing LVal types.Ted Kremenek2008-05-121-0/+2
* Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ...Ted Kremenek2008-05-091-5/+5
* When reporting branch conditions that evaluate to an uninitialized value,Ted Kremenek2008-05-051-5/+77
* Support implicit casts from pointers to references.Ted Kremenek2008-04-301-1/+7
* Teach more of the static analyzer about ObjCQualifiedIdType.Ted Kremenek2008-04-301-6/+6
* Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ.Ted Kremenek2008-04-301-0/+10
* Fixed: <rdar://problem/5881148>Ted Kremenek2008-04-231-1/+1
* Added lval type (and tracking) for StringLiterals.Ted Kremenek2008-04-221-0/+4
* Generalize caching mechanism for bugs reports. Now individual BugTypesTed Kremenek2008-04-181-11/+10
* Simplified internal logic of BugReporter, consolidating EmitWarning andTed Kremenek2008-04-181-4/+4
* Added some comments to GRExprEngine. Reorder some of the method definitionsTed Kremenek2008-04-151-1/+30
* Fix a compiler error on MSVC (variable name 'E' clash).Argyrios Kyrtzidis2008-04-151-1/+1
OpenPOWER on IntegriCloud