summaryrefslogtreecommitdiffstats
path: root/clang/Analysis/GRSimpleVals.cpp
Commit message (Expand)AuthorAgeFilesLines
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-462/+0
* Added initialization to ErrorDiag to silence gcc's warning of the variableTed Kremenek2008-03-151-1/+1
* Emit warnings for undefined control-flow.Ted Kremenek2008-03-141-11/+28
* Path-sensitive analyses no longer take a FunctionDecl, but any Decl representingTed Kremenek2008-03-141-2/+2
* Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...Ted Kremenek2008-03-121-1/+1
* In GRSimpleVals, added the generation of symbolic values for the return valuesTed Kremenek2008-03-121-3/+17
* Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFSTed Kremenek2008-03-121-1/+1
* Prototype (pre-alpha) implementation of CFRef checker.Ted Kremenek2008-03-121-29/+39
* Fix "error: explicit template specialization cannot have a storage class" Chris Lattner2008-03-101-3/+3
* Increased worklist limit for GRSimpleVals.Ted Kremenek2008-03-071-1/+1
* Added --trim-path-graph to the driver to trim paths from the ExplodedGraphTed Kremenek2008-03-071-2/+2
* Renamed ValueManager to BasicValueFactory.Ted Kremenek2008-03-071-31/+31
* Refined divide-by-zero checking to distinguish between must and mayTed Kremenek2008-03-071-2/+2
* fix typosGabor Greif2008-03-061-1/+1
* remove the source location arguments to various target query methods.Chris Lattner2008-03-051-2/+2
* Plug-in transfer function "EvalCall" now takes as an argument the currentTed Kremenek2008-03-051-5/+10
* Added preliminary transfer function support for references.Ted Kremenek2008-03-041-1/+1
* Enhanced pretty-printing of undefined-argument errors.Ted Kremenek2008-03-041-8/+36
* Added extra check for calls to functions where we pass undefined valuesTed Kremenek2008-02-291-0/+5
* Add checks for function calls via a function pointer that is NULL, Undefined,Ted Kremenek2008-02-291-0/+5
* Added simple hack to reduce redundant warnings from the checker:Ted Kremenek2008-02-281-0/+14
* Added checking for undefined results of '<<' and '>>' (shifting by too many b...Ted Kremenek2008-02-281-0/+5
* Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:...Ted Kremenek2008-02-281-5/+3
* Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.Ted Kremenek2008-02-281-7/+7
* Fixed use of an uninitialized variable.Ted Kremenek2008-02-271-1/+1
* Added string "[CHECKER]" to the output diagnostics produced by the GRSimpleVa...Ted Kremenek2008-02-271-0/+5
* Header file cleanups: reduce number of includes; move ValueState.h into inclu...Ted Kremenek2008-02-271-1/+1
* Added boilerplate for plug-in transfer function support for CallExprs.Ted Kremenek2008-02-261-0/+25
* Removed static analysis-specific diagnostics from DiagnosticKinds.def.Ted Kremenek2008-02-261-11/+43
* Punt on unifying symbolic lvalues. This won't be needed for many checkers.Ted Kremenek2008-02-221-6/+12
* Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplifiedTed Kremenek2008-02-221-13/+6
* Remove incorrect casts from UnknownVal to NonLVal.Ted Kremenek2008-02-211-2/+2
* Simplified and generalized transfer function logic for casts, allowingTed Kremenek2008-02-211-9/+7
* Major cleanup of path-sensitive analysis engine and the current analysisTed Kremenek2008-02-211-163/+129
* Implemented transfer function logic for unary '+'Ted Kremenek2008-02-201-0/+14
* Fixed bug classof() bug with RValues that could cause an UninitializedValTed Kremenek2008-02-191-1/+1
* --grsimple now reports the number of nodes in the ExplodedGraph forTed Kremenek2008-02-191-5/+7
* Added more assertions and checks in transfer function logic to check forTed Kremenek2008-02-181-6/+25
* Temporary solution to push analysis through to analyzing PCRE.Ted Kremenek2008-02-181-2/+4
* A couple of msvc compile fixes from the ml; I haven't tested with msvc, Eli Friedman2008-02-161-2/+2
* Refactored code for transfer functions for binary operators involving two LVa...Ted Kremenek2008-02-151-0/+18
* Added boilerplate transfer function support for pointer arithmetic operations.Ted Kremenek2008-02-151-0/+9
* Added --grsimple-view option to clang driver; this is the same asTed Kremenek2008-02-151-2/+2
* Don't analyze functions when we have parse errors.Ted Kremenek2008-02-141-0/+3
* Renamed GRConstants => GRSimpleVals.Ted Kremenek2008-02-141-0/+30
* Migrated transfer functions for binary operators for simple value trackingTed Kremenek2008-02-141-0/+158
* Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimple...Ted Kremenek2008-02-141-1/+23
* Started partitioning of transfer function logic (and thus the policy behind Ted Kremenek2008-02-141-0/+59
OpenPOWER on IntegriCloud