summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
* - Clean up transfer function logic for 'return' statements.Ted Kremenek2008-11-212-38/+38
* Add support for symbolicating global structs and arrays in RegionStoreManager...Zhongxing Xu2008-11-191-1/+78
* Add SymbolData for array elements and struct fields.Zhongxing Xu2008-11-192-0/+51
* rewrite FormatDiagnostic to be less gross and a lot more efficient.Chris Lattner2008-11-191-3/+6
* Fix warning about RegionStoreManager::Retrieve() not always returning a value.Ted Kremenek2008-11-191-1/+1
* handle the case that the array element is of structure type when bind the who...Zhongxing Xu2008-11-181-1/+4
* This reworks some of the Diagnostic interfaces a bit to change how diagnosticsChris Lattner2008-11-182-27/+31
* eliminate dependence of strange "Diagnostic::Report" method, Chris Lattner2008-11-181-4/+6
* Change the diagnostics interface to take an array of pointers to Chris Lattner2008-11-181-1/+1
* cleanups and simplifications.Chris Lattner2008-11-181-11/+7
* Fold assertion into second valid else branch. This removes a compiler warningTed Kremenek2008-11-171-3/+2
* Enhance modularization: return a <state,loc> pair to let GRExprEngine modify theZhongxing Xu2008-11-163-15/+17
* Enhances SCA to process untyped region to typed region conversion.Zhongxing Xu2008-11-164-2/+113
* Use the allocator of ExplodedGraph. The whole static analysis module uses it.Zhongxing Xu2008-11-151-1/+4
* Improve zero value generation.Zhongxing Xu2008-11-151-2/+1
* 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-154-16/+54
* Flush llvm::errs() when printing out SVals.Ted Kremenek2008-11-151-1/+1
* Minor tweaks to liveness analysis:Ted Kremenek2008-11-141-0/+7
* Second attempt at implementation transfer function support for ObjCForCollect...Ted Kremenek2008-11-141-35/+52
* Flow-sensitive uninitialized values analysis: properly handle the 'element' e...Ted Kremenek2008-11-141-3/+10
* Add a new expression node, CXXOperatorCallExpr, which expresses aDouglas Gregor2008-11-141-1/+2
* Improve comments.Zhongxing Xu2008-11-141-1/+1
* Handle the case where 'element' in ObjCforCollectionstmt is not a DeclStmt or...Ted Kremenek2008-11-141-5/+8
* Rename header file.Ted Kremenek2008-11-142-4/+4
* - Revert r59229 and r59232: AllocRegion should be immutable.Ted Kremenek2008-11-131-20/+0
* Process array base expression of any type.Zhongxing Xu2008-11-131-0/+8
* Array index might be unsigned. We have to generate a temporary signed value forZhongxing Xu2008-11-131-0/+12
* Incomplete struct pointer can be used as a function argument.Zhongxing Xu2008-11-131-1/+7
* Lift the pointer to alloca'ed region to the pointer to its first element.Zhongxing Xu2008-11-131-1/+21
* Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion'sZhongxing Xu2008-11-131-2/+12
* GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) ...Ted Kremenek2008-11-133-15/+21
* Fix uninitialized variable.Ted Kremenek2008-11-131-1/+1
* GRExprEngine::VisitInitListExpr:Ted Kremenek2008-11-131-2/+2
* Update CFGStmtVisitor to recognize that ObjCForCollectionStmts are special bl...Ted Kremenek2008-11-122-4/+7
* Shore up transfer function for ObjCForCollectionStmt.Ted Kremenek2008-11-121-9/+17
* Use Stmt* instead of Expr* for block-level expression.Ted Kremenek2008-11-121-1/+1
* Add (preliminary) transfer function support for ObjCForCollectionStmt. Still...Ted Kremenek2008-11-122-8/+123
* Conjured symbols now bind to Stmt* instead of Expr*.Ted Kremenek2008-11-121-1/+1
* Update method names involving GRStateRef. No functionality change.Ted Kremenek2008-11-121-9/+9
* GRStateRef:Ted Kremenek2008-11-122-26/+25
* StoreManager::BindDecl now takes an SVal* for the initialization value instea...Ted Kremenek2008-11-122-42/+23
* Flow-sensitive uninitialized values analysis:Ted Kremenek2008-11-111-4/+27
* Accesses to a collection within a fast enumeration 'for' statement constitute...Ted Kremenek2008-11-111-9/+15
* Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expr...Sebastian Redl2008-11-113-45/+7
* Add transfer function support for ObjCForCollectionStmt to LiveVariables.Ted Kremenek2008-11-111-1/+17
* Fix StringLiteral print bug.Zhongxing Xu2008-11-111-1/+17
OpenPOWER on IntegriCloud