summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek2009-01-211-9/+8
* Remove ScopedDecl, collapsing all of its functionality into Decl, soDouglas Gregor2009-01-201-1/+1
* Fix analyzer crash found when scanning Wine sources where the analyzer used o...Ted Kremenek2009-01-171-35/+25
* static analyzer: Handle casts from arrays to integers. This fixes PR 3297.Ted Kremenek2009-01-131-11/+33
* Add QualifiedDeclRefExpr, which retains additional source-locationDouglas Gregor2009-01-061-0/+2
* Fix initialization order.Zhongxing Xu2008-12-221-3/+3
* Add an option to make 'RemoveDeadBindings' a configurable behavior. This enablesZhongxing Xu2008-12-221-3/+8
* Add support for member references (E1.E2, E1->E2) with C++ semantics,Douglas Gregor2008-12-201-2/+6
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-6/+5
* ProgramPoint:Ted Kremenek2008-12-161-80/+88
* Fix regression in handling sizeof(void) in the static analyzer.Ted Kremenek2008-12-151-13/+15
* MemRegion:Ted Kremenek2008-12-131-8/+17
* A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek2008-12-131-9/+3
* In GRExprEngine treat @throw as an 'abort' that ends the current path. This ...Ted Kremenek2008-12-091-0/+9
* [static analyzer] Extend VLA size checking to look for undefined sizes.Ted Kremenek2008-12-091-2/+10
* Add checking for zero-sized VLAs.Ted Kremenek2008-12-081-2/+28
* Add bandaid transfer function support for assignments involving ObjCKVCRefExpr.Ted Kremenek2008-12-061-0/+7
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-4/+4
* Add support for initializing array with string literal.Zhongxing Xu2008-11-301-0/+4
* Code cleanup. No functional change.Zhongxing Xu2008-11-281-3/+5
* Add support for pluggable components of static analyzer.Zhongxing Xu2008-11-271-3/+3
* Remove FIXME comment.Ted Kremenek2008-11-241-1/+0
* Add support for AllocaRegion extent with GDM.Zhongxing Xu2008-11-241-0/+7
* Cleanup code with utility method.Zhongxing Xu2008-11-241-2/+2
* Add out-of-bound memory access warning report code.Zhongxing Xu2008-11-231-4/+17
* Initial support for checking out of bound memory access. Only support Zhongxing Xu2008-11-221-2/+7
* - Clean up transfer function logic for 'return' statements.Ted Kremenek2008-11-211-36/+26
* Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu2008-11-161-2/+6
* Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu2008-11-161-0/+15
* Reduce permissiveness of assertion.Ted Kremenek2008-11-151-2/+1
* Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-...Ted Kremenek2008-11-151-23/+37
* Re-enable an assertion that I mistakenly removed.Ted Kremenek2008-11-151-7/+1
* Use the correct QualType when creating the '0' constant.Ted Kremenek2008-11-151-1/+1
* Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv...Ted Kremenek2008-11-151-5/+11
* Second attempt at implementation transfer function support for ObjCForCollect...Ted Kremenek2008-11-141-35/+52
* Add a new expression node, CXXOperatorCallExpr, which expresses aDouglas Gregor2008-11-141-1/+2
* Improve comments.Zhongxing Xu2008-11-141-1/+1
* - Revert r59229 and r59232: AllocRegion should be immutable.Ted Kremenek2008-11-131-20/+0
* Lift the pointer to alloca'ed region to the pointer to its first element.Zhongxing Xu2008-11-131-1/+21
* GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) ...Ted Kremenek2008-11-131-12/+18
* GRExprEngine::VisitInitListExpr:Ted Kremenek2008-11-131-2/+2
* Shore up transfer function for ObjCForCollectionStmt.Ted Kremenek2008-11-121-9/+17
* Add (preliminary) transfer function support for ObjCForCollectionStmt. Still...Ted Kremenek2008-11-121-5/+105
* Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expr...Sebastian Redl2008-11-111-41/+7
* silence a warning from gcc.Chris Lattner2008-11-101-0/+1
* Add a boilerplate for out-of-bound array checking. This has no real function ...Zhongxing Xu2008-11-081-0/+22
* Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu2008-11-071-20/+14
* Add transfer function logic for alloca().Ted Kremenek2008-11-021-0/+10
* Comment out invalid assertion. I'm leaving it in the code for now as a remin...Ted Kremenek2008-10-311-1/+3
* Fix 80-col violations.Zhongxing Xu2008-10-311-5/+5
OpenPOWER on IntegriCloud