summaryrefslogtreecommitdiffstats
path: root/clang/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-1941/+0
* Handle StmtExprs whose last contained statement is not an expression.Ted Kremenek2008-03-151-3/+11
* Compute alignment in bytes, not bits.Ted Kremenek2008-03-151-1/+1
* Implement transfer function logic for alignof operator (types).Ted Kremenek2008-03-151-16/+16
* Added transfer function support in GRExprEngine for __extension__.Ted Kremenek2008-03-151-0/+4
* "panic" has 5 letters, not 4. Bug pointed out by Nuno Lopes!Ted Kremenek2008-03-141-3/+7
* Hack to hardwire in some panic functions that are not marked noreturn.Ted Kremenek2008-03-141-2/+22
* Emit warnings for undefined control-flow.Ted Kremenek2008-03-141-0/+1
* Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...Ted Kremenek2008-03-121-2/+21
* Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFSTed Kremenek2008-03-121-8/+34
* Expanded graph-visualization to include optional pretty-printing of checker-s...Ted Kremenek2008-03-111-1/+6
* Expanded graph visualization interface to include specifying a range ofTed Kremenek2008-03-111-14/+25
* More edge-case handling with using liveness information to prune dead state v...Ted Kremenek2008-03-101-0/+2
* More cleanups with using the liveness analysis to removed dead symbols andTed Kremenek2008-03-101-40/+25
* When processing the transfer function for a statement, evaluateTed Kremenek2008-03-091-15/+10
* Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into theTed Kremenek2008-03-091-17/+15
* Bug fix in the transfer function for compound assignments: if the valueTed Kremenek2008-03-091-13/+9
* Fixed crash where SetBlkExpr would attempt to query the liveness data whenTed Kremenek2008-03-091-1/+1
* Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat...Ted Kremenek2008-03-091-8/+27
* Added --trim-path-graph to the driver to trim paths from the ExplodedGraphTed Kremenek2008-03-071-17/+44
* Improved graph visualization of ExplodedGraphs to include source line and columnTed Kremenek2008-03-071-4/+21
* Renamed ValueManager to BasicValueFactory.Ted Kremenek2008-03-071-11/+11
* Refined divide-by-zero checking to distinguish between must and mayTed Kremenek2008-03-071-25/+41
* Added transfer function support for __builtin_expect.Ted Kremenek2008-03-051-2/+15
* Small bug fix when handling CallExprs that generate sink nodes.Ted Kremenek2008-03-051-11/+2
* Fixed bug that could case unwanted bifurcation of states when evaluating calls.Ted Kremenek2008-03-051-19/+36
* Minor cleanups (mainly indentation).Ted Kremenek2008-03-051-14/+0
* remove the source location arguments to various target query methods.Chris Lattner2008-03-051-9/+5
* Plug-in transfer function "EvalCall" now takes as an argument the currentTed Kremenek2008-03-051-1/+7
* Moved implementation of GRExprEngine::Nodify into GRStmtNodeBuilder. This willTed Kremenek2008-03-041-24/+0
* Added preliminary transfer function support for references.Ted Kremenek2008-03-041-3/+8
* For the transfer function for CallExpr, invalidate all argumentsTed Kremenek2008-03-041-19/+44
* For the transfer function of DeclStmt, for now initialize the values ofTed Kremenek2008-03-041-8/+13
* Add transfer function support for the default initialization of staticTed Kremenek2008-03-041-2/+28
* Fixed insidious state propagation bug that would sometimes cause the stateTed Kremenek2008-03-041-6/+5
* Enhanced pretty-printing of undefined-argument errors.Ted Kremenek2008-03-041-1/+1
* Added FIXME.Ted Kremenek2008-03-031-6/+14
* Added extra check for calls to functions where we pass undefined valuesTed Kremenek2008-02-291-4/+24
* Add checks for function calls via a function pointer that is NULL, Undefined,Ted Kremenek2008-02-291-16/+12
* "Refinement" of hack to bound loop-traversals: visit any block at a maximum o...Ted Kremenek2008-02-291-42/+18
* Added checking for undefined results of '<<' and '>>' (shifting by too many b...Ted Kremenek2008-02-281-6/+38
* Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:...Ted Kremenek2008-02-281-66/+65
* Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.Ted Kremenek2008-02-281-63/+63
* End paths when calling a function marked "noreturn."Ted Kremenek2008-02-271-0/+15
* Small tweaks to the transfer function for DeclStmt: do not mark external globalTed Kremenek2008-02-271-5/+17
* Small fix to VisitLVal: this method can be called on Block-Level expressions. Ted Kremenek2008-02-271-2/+5
* When analyzing a function, eagerly create symbolic values for allTed Kremenek2008-02-271-30/+25
* Header file cleanups: reduce number of includes; move ValueState.h into inclu...Ted Kremenek2008-02-271-2/+5
* Similar bug fix to r47650; when processing CallExprs if we did not generate anTed Kremenek2008-02-271-0/+1
* Fixed bug in the core transfer function logic for CallExprs where we wouldTed Kremenek2008-02-271-0/+3
OpenPOWER on IntegriCloud