- 1b9df4c Emit warnings for undefined control-flow. by Ted Kremenek · 17 years ago
- 63bbe53 Path-sensitive analyses no longer take a FunctionDecl, but any Decl representing by Ted Kremenek · 17 years ago
- 361fa8e Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 17 years ago
- f923a91 In GRSimpleVals, added the generation of symbolic values for the return values by Ted Kremenek · 17 years ago
- 7ec07fd Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS by Ted Kremenek · 17 years ago
- 00a3a5f Prototype (pre-alpha) implementation of CFRef checker. by Ted Kremenek · 17 years ago
- 8ce68d2 Fix "error: explicit template specialization cannot have a storage class" by Chris Lattner · 17 years ago
- dfbc957 Increased worklist limit for GRSimpleVals. by Ted Kremenek · 17 years ago
- ffe0f43 Added --trim-path-graph to the driver to trim paths from the ExplodedGraph by Ted Kremenek · 17 years ago
- 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
- 4d839b4 Refined divide-by-zero checking to distinguish between must and may by Ted Kremenek · 17 years ago
- 843e934 fix typos by Gabor Greif · 17 years ago
- 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
- 330dddd Plug-in transfer function "EvalCall" now takes as an argument the current by Ted Kremenek · 17 years ago
- 65cfb73 Added preliminary transfer function support for references. by Ted Kremenek · 17 years ago
- 1e80aa4 Enhanced pretty-printing of undefined-argument errors. by Ted Kremenek · 17 years ago
- 2ded35a Added extra check for calls to functions where we pass undefined values by Ted Kremenek · 17 years ago
- 5e03fcb Add checks for function calls via a function pointer that is NULL, Undefined, by Ted Kremenek · 17 years ago
- 5c61e7a Added simple hack to reduce redundant warnings from the checker: by Ted Kremenek · 17 years ago
- 8cc13ea Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 17 years ago
- aed9b6a Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 17 years ago
- 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 17 years ago
- 2bebc40 Fixed use of an uninitialized variable. by Ted Kremenek · 17 years ago
- 5c06121 Added string "[CHECKER]" to the output diagnostics produced by the GRSimpleVals analysis. by Ted Kremenek · 17 years ago
- 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 17 years ago
- 0674769 Added boilerplate for plug-in transfer function support for CallExprs. by Ted Kremenek · 17 years ago
- d87a321 Removed static analysis-specific diagnostics from DiagnosticKinds.def. by Ted Kremenek · 17 years ago
- f700df2 Punt on unifying symbolic lvalues. This won't be needed for many checkers. by Ted Kremenek · 17 years ago
- dc3936b Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified by Ted Kremenek · 17 years ago
- 9258a64 Remove incorrect casts from UnknownVal to NonLVal. by Ted Kremenek · 17 years ago
- 9ef1ec9 Simplified and generalized transfer function logic for casts, allowing by Ted Kremenek · 17 years ago
- aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
- 90e4203 Implemented transfer function logic for unary '+' by Ted Kremenek · 17 years ago
- e6ea2d5 Fixed bug classof() bug with RValues that could cause an UninitializedVal by Ted Kremenek · 17 years ago
- 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
- 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
- f0c8ef0 Temporary solution to push analysis through to analyzing PCRE. by Ted Kremenek · 17 years ago
- 7df3d71 A couple of msvc compile fixes from the ml; I haven't tested with msvc, by Eli Friedman · 17 years ago
- c6fbdcd Refactored code for transfer functions for binary operators involving two LValues. by Ted Kremenek · 17 years ago
- b640b3b Added boilerplate transfer function support for pointer arithmetic operations. by Ted Kremenek · 18 years ago
- d55fe52 Added --grsimple-view option to clang driver; this is the same as by Ted Kremenek · 18 years ago
- 546bded Don't analyze functions when we have parse errors. by Ted Kremenek · 18 years ago
- e01c987 Renamed GRConstants => GRSimpleVals. by Ted Kremenek · 18 years ago
- 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 18 years ago
- c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 18 years ago
- d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 18 years ago