aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2009-01-30Move method out-of-line.Ted Kremenek
2009-01-30Switch Type::isAggregateType to use the C++ definition of "aggregateDouglas Gregor
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2009-01-20Remove ScopedDecl, collapsing all of its functionality into Decl, soDouglas Gregor
2009-01-17Fix analyzer crash found when scanning Wine sources where the analyzer used o...Ted Kremenek
2009-01-13static analyzer: Handle casts from arrays to integers. This fixes PR 3297.Ted Kremenek
2009-01-06Add QualifiedDeclRefExpr, which retains additional source-locationDouglas Gregor
2008-12-22Fix initialization order.Zhongxing Xu
2008-12-22Add an option to make 'RemoveDeadBindings' a configurable behavior. This enablesZhongxing Xu
2008-12-20Add support for member references (E1.E2, E1->E2) with C++ semantics,Douglas Gregor
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-16ProgramPoint:Ted Kremenek
2008-12-15Fix regression in handling sizeof(void) in the static analyzer.Ted Kremenek
2008-12-13MemRegion:Ted Kremenek
2008-12-13A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek
2008-12-09In GRExprEngine treat @throw as an 'abort' that ends the current path. This ...Ted Kremenek
2008-12-09[static analyzer] Extend VLA size checking to look for undefined sizes.Ted Kremenek
2008-12-08Add checking for zero-sized VLAs.Ted Kremenek
2008-12-06Add bandaid transfer function support for assignments involving ObjCKVCRefExpr.Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-11-30Add support for initializing array with string literal.Zhongxing Xu
2008-11-28Code cleanup. No functional change.Zhongxing Xu
2008-11-27Add support for pluggable components of static analyzer.Zhongxing Xu
2008-11-24Remove FIXME comment.Ted Kremenek
2008-11-24Add support for AllocaRegion extent with GDM.Zhongxing Xu
2008-11-24Cleanup code with utility method.Zhongxing Xu
2008-11-23Add out-of-bound memory access warning report code.Zhongxing Xu
2008-11-22Initial support for checking out of bound memory access. Only support Zhongxing Xu
2008-11-21- Clean up transfer function logic for 'return' statements.Ted Kremenek
2008-11-16Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu
2008-11-16Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu
2008-11-15Reduce permissiveness of assertion.Ted Kremenek
2008-11-15Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-...Ted Kremenek
2008-11-15Re-enable an assertion that I mistakenly removed.Ted Kremenek
2008-11-15Use the correct QualType when creating the '0' constant.Ted Kremenek
2008-11-15Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv...Ted Kremenek
2008-11-14Second attempt at implementation transfer function support for ObjCForCollect...Ted Kremenek
2008-11-14Add a new expression node, CXXOperatorCallExpr, which expresses aDouglas Gregor
2008-11-14Improve comments.Zhongxing Xu
2008-11-13- Revert r59229 and r59232: AllocRegion should be immutable.Ted Kremenek
2008-11-13Lift the pointer to alloca'ed region to the pointer to its first element.Zhongxing Xu
2008-11-13GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) ...Ted Kremenek
2008-11-13GRExprEngine::VisitInitListExpr:Ted Kremenek
2008-11-12Shore up transfer function for ObjCForCollectionStmt.Ted Kremenek
2008-11-12Add (preliminary) transfer function support for ObjCForCollectionStmt. Still...Ted Kremenek
2008-11-11Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expr...Sebastian Redl
2008-11-10silence a warning from gcc.Chris Lattner
2008-11-08Add a boilerplate for out-of-bound array checking. This has no real function ...Zhongxing Xu
2008-11-07Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu
2008-11-02Add transfer function logic for alloca().Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-04 00:12:16 +0000