- 2ded35a Added extra check for calls to functions where we pass undefined values by Ted Kremenek · 16 years ago
- 5e03fcb Add checks for function calls via a function pointer that is NULL, Undefined, by Ted Kremenek · 16 years ago
- 6a6719a "Refinement" of hack to bound loop-traversals: visit any block at a maximum of 3 times along a given path. by Ted Kremenek · 16 years ago
- 5c61e7a Added simple hack to reduce redundant warnings from the checker: by Ted Kremenek · 16 years ago
- 8cc13ea Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 16 years ago
- aed9b6a Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 16 years ago
- 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 16 years ago
- 2bebc40 Fixed use of an uninitialized variable. by Ted Kremenek · 16 years ago
- affb215 End paths when calling a function marked "noreturn." by Ted Kremenek · 16 years ago
- b0ab212 Small tweaks to the transfer function for DeclStmt: do not mark external global by Ted Kremenek · 16 years ago
- 5c06121 Added string "[CHECKER]" to the output diagnostics produced by the GRSimpleVals analysis. by Ted Kremenek · 16 years ago
- 2ad8868 Small fix to VisitLVal: this method can be called on Block-Level expressions. by Ted Kremenek · 16 years ago
- 0793263 When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 16 years ago
- 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 16 years ago
- 3ef1512 Similar bug fix to r47650; when processing CallExprs if we did not generate an by Ted Kremenek · 16 years ago
- a6fbe80 Fixed bug in the core transfer function logic for CallExprs where we would by Ted Kremenek · 16 years ago
- 5a7b382 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 16 years ago
- 0674769 Added boilerplate for plug-in transfer function support for CallExprs. by Ted Kremenek · 16 years ago
- 0015541 Don't emit divide-by-zero errors when we divide by an unknown (not by Ted Kremenek · 16 years ago
- d87a321 Removed static analysis-specific diagnostics from DiagnosticKinds.def. by Ted Kremenek · 16 years ago
- ebd6610 Removed hack with toggling the signedness flag of the APSInt stored by Ted Kremenek · 16 years ago
- 58b3321 Small fixes to shore up overhauling of transfer function logic for '&&' and '||. by Ted Kremenek · 16 years ago
- 189c305 optimization: no longer create ExplodedNodes for IntegerLiteral and by Ted Kremenek · 16 years ago
- 05a2378 Major cleanup of the transfer function logic for '&&', '||', and '?'. We by Ted Kremenek · 16 years ago
- 018c15f Fixed inverted condition. by Ted Kremenek · 16 years ago
- d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 16 years ago
- 4dc3522 Added FIXME. by Ted Kremenek · 16 years ago
- dcc4810 Minor bug fix in LiveVariables: don't "kill" decls referenced by a DeclStmt by Ted Kremenek · 16 years ago
- 994a09b Better handling of calls to functions via function pointers. by Ted Kremenek · 16 years ago
- 29db75c Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the by Ted Kremenek · 16 years ago
- 3c8d0c5 Expanded transfer function support for divide-by-zero checking to include by Ted Kremenek · 16 years ago
- 3bca92b Added hack to transfer function logic to handle the case where a DeclRefExpr by Ted Kremenek · 16 years ago
- 07d83aa Added transfer function support for checking for divide-by-zero errors. by Ted Kremenek · 16 years ago
- d156d53 Fixed horrid bug in LiveVariables analysis where we were only merging at by Ted Kremenek · 16 years ago
- f700df2 Punt on unifying symbolic lvalues. This won't be needed for many checkers. by Ted Kremenek · 16 years ago
- dc3936b Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified by Ted Kremenek · 16 years ago
- f7ca696 Bug fix: For transfer function for unary "!", compare the subexpression value by Ted Kremenek · 16 years ago
- 5620631 Bug fix in liveness: Only compute liveness information for VarDecls. by Ted Kremenek · 16 years ago
- 9c37417 Return "Unknown" when using the value of a function pointer whose value by Ted Kremenek · 16 years ago
- 03da0d7 Added transfer function support for dispatching to functions we don't know by Ted Kremenek · 16 years ago
- c3055ab RemoveDeadBindings should now check for UninitalizedVal, as it is a now by Ted Kremenek · 16 years ago
- 443003b Regression fix: Handle pointer arithmetic in unary ++/--. by Ted Kremenek · 16 years ago
- 89063af Removed bogus assertions regard LValues binding to UnknownVal; they can by Ted Kremenek · 16 years ago
- 9258a64 Remove incorrect casts from UnknownVal to NonLVal. by Ted Kremenek · 16 years ago
- 61e090c FIX: Promote the correct operand. by Ted Kremenek · 16 years ago
- 9ef1ec9 Simplified and generalized transfer function logic for casts, allowing by Ted Kremenek · 16 years ago
- 297d0d7 Added transfer function support for sizeof(void) by Ted Kremenek · 16 years ago
- aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 16 years ago
- 90e4203 Implemented transfer function logic for unary '+' by Ted Kremenek · 16 years ago
- d8e9f0d Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 16 years ago
- 1caf26a Added missing case in constant propagation logic for handling the Xor of by Ted Kremenek · 16 years ago
- b533912 Added special handling for UninitializedVals for the transfer function logic by Ted Kremenek · 16 years ago
- a888c98 Implemented "getType()" for symbolic values representing the "contents" of by Ted Kremenek · 16 years ago
- 5d3003a Fixed transfer function for casts to always evaluate the effects of the by Ted Kremenek · 16 years ago
- 402563b Added transfer function support for casting to "void". by Ted Kremenek · 16 years ago
- e6ea2d5 Fixed bug classof() bug with RValues that could cause an UninitializedVal by Ted Kremenek · 16 years ago
- 7263910 Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 16 years ago
- de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 16 years ago
- c2c95b0 Added FIXME for properly handling local arrays using symbolic LValues. by Ted Kremenek · 16 years ago
- 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 16 years ago
- 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 16 years ago
- f0c8ef0 Temporary solution to push analysis through to analyzing PCRE. by Ted Kremenek · 16 years ago
- 7df3d71 A couple of msvc compile fixes from the ml; I haven't tested with msvc, by Eli Friedman · 16 years ago
- d70d0b0 Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 16 years ago
- c6fbdcd Refactored code for transfer functions for binary operators involving two LValues. by Ted Kremenek · 16 years ago
- b233183 Added transfer function support for conditional branches with a NULL condition (e.g., "for(;;)"). by Ted Kremenek · 16 years ago
- 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 16 years ago
- d868856 Remove unnecessary references to VariableArrayType from Analysis. by Eli Friedman · 16 years ago
- b640b3b Added boilerplate transfer function support for pointer arithmetic operations. by Ted Kremenek · 16 years ago
- d55fe52 Added --grsimple-view option to clang driver; this is the same as by Ted Kremenek · 16 years ago
- 90e1481 Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 16 years ago
- a3fadfc When visualizing ExplodedNodes created by GRExprEngine, color nodes with by Ted Kremenek · 16 years ago
- 546bded Don't analyze functions when we have parse errors. by Ted Kremenek · 16 years ago
- e01c987 Renamed GRConstants => GRSimpleVals. by Ted Kremenek · 16 years ago
- b387a3f #include cleanups in GRExprEngine.cpp/GRExprEngine.h. Moved GRExprEngine to by Ted Kremenek · 16 years ago
- 77349cb Partitioned definition/implementation of GRExperEngine into .h and .cpp. by Ted Kremenek · 16 years ago
- 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 16 years ago
- c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 16 years ago
- d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 16 years ago
- cc409b7 Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". by Ted Kremenek · 16 years ago
- daeb9a7 Added support to GRCoreEngine/GRExprEngine for processing control-flow by Ted Kremenek · 16 years ago
- 44842c2 Fixed 80 col violations. by Ted Kremenek · 16 years ago
- 0ee2571 Unbreak the build. by Ted Kremenek · 16 years ago
- a82799e Renamed files to match class renaming in r47070: by Ted Kremenek · 16 years ago
- 4d4dd85 Renamed class GREngine => GRCoreEngine. by Ted Kremenek · 16 years ago
- 24f1a96 Simplify GRIndirectGotoNodeBuilder. by Ted Kremenek · 16 years ago
- a58e833 Added GREngine support for "break" and "continue". by Ted Kremenek · 16 years ago
- 754607e Added support to GREngine/GRConstants for handling computed gotos. by Ted Kremenek · 16 years ago
- f810869 Added GREngine support for GotoStmt. by Ted Kremenek · 16 years ago
- 2a50257 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 16 years ago
- 230aaab Minor (cosmetic) reshuffling of code. Fixed a bug in "Assume" logic when by Ted Kremenek · 16 years ago
- d9435bf Added transfer function logic for sizeof(expr)/sizeof(type). This currently by Ted Kremenek · 16 years ago
- 5d2986b Renamed local variable. Added transfer function support for CharacterLiteral. by Ted Kremenek · 16 years ago
- 8e49dd6 Added GRBlockCounter class, which tracks the number of times blocks by Ted Kremenek · 16 years ago
- 8158a0e Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMap by Ted Kremenek · 16 years ago
- e7d2211 Separate bindings for subexpressions to be in a separate map for by Ted Kremenek · 16 years ago
- 016f52f Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 16 years ago
- d70b62e Changed "GetValue" methods to take an by Ted Kremenek · 16 years ago
- b87d909 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 16 years ago
- 071679d Removed ability to create symbol bindings in VarKey and VariableBindingsTy. by Ted Kremenek · 16 years ago