- 7d7fe6d Added boilerplate logic in GREngine for processing branches. by Ted Kremenek · 17 years ago
- f4b7a69 Renamed GRNodeBuilder to GRStmtNodeBuilder. by Ted Kremenek · 17 years ago
- 0370167 Minor fix in transfer function of '!=' where a 'false' literal should by Ted Kremenek · 17 years ago
- 687af80 Added preliminary transfer function support for '==' and '!='. by Ted Kremenek · 17 years ago
- 68fd257 Added "SymbolManager", which manages the set of symbolic values used by Ted Kremenek · 17 years ago
- 65cac13 Fixed bug where not all dead subexpressions were being pruned from the analysis by Ted Kremenek · 17 years ago
- bffaa83 Modified LiveVariables to perform all of its base initialization in the ctor, by Ted Kremenek · 17 years ago
- ff6e3c5 Added skeleton code for tracking the values of function parameters. by Ted Kremenek · 17 years ago
- cb48b9c Driver now passes the top-level FunctionDecl* to GRConstants. by Ted Kremenek · 17 years ago
- 403c181 Added RValue class "UninitializedValue". by Ted Kremenek · 17 years ago
- 10099a6 Added transfer function logic for "%=" operator. by Ted Kremenek · 17 years ago
- cce207d Added transfer function hookups for "modulo" operator. by Ted Kremenek · 17 years ago
- f264562 Minor tweaking with hierarchy of NonLValue objects: SymbolValue is by Ted Kremenek · 17 years ago
- bd03f1d Some additional cleanups with method names. by Ted Kremenek · 17 years ago
- 33d4aab Added back logic in patch r46361 (http://llvm.org/viewvc/llvm-project?rev=46361&view=rev) with the addition of by Ted Kremenek · 17 years ago
- 5c1e262 Implemented transfer function for '/='. by Ted Kremenek · 17 years ago
- cc1c365 Further refactoring of transfer functions by having APSIntSetOp take by Ted Kremenek · 17 years ago
- 5ee4ff8 Renamed RValueDisjunctiveEqual to RValEqualityORSet. by Ted Kremenek · 17 years ago
- ef20c11 Fixed 80 col. violation. by Ted Kremenek · 17 years ago
- 2cd65c8 Renamed RValueMayEqualSet to RValueDisjunctiveEqual. by Ted Kremenek · 17 years ago
- f13794e Some minor restructuring around LValue and RValue types. The value "kind" by Ted Kremenek · 17 years ago
- 565256e enum value name change. by Ted Kremenek · 17 years ago
- 9ff731d More cleanups to pretty-printing of states in GraphViz output. by Ted Kremenek · 17 years ago
- 9de04c4 Added transfer function for DeclStmt. by Ted Kremenek · 17 years ago
- 5c1b996 Adjusted storage of values for Stmt* so that we need only query if by Ted Kremenek · 17 years ago
- daadf45 Fixed a bug where the values of block-level expressions were being recorded in by Ted Kremenek · 17 years ago
- e0cf9c8 Minor tweaks in the transfer functions for pre- and post- ++/-- where by Ted Kremenek · 17 years ago
- dacbb4f Added support for unary operator '-' for equality sets. by Ted Kremenek · 17 years ago
- 7b8009a Added transfer functions for pre- and post- increment/decrement operators. by Ted Kremenek · 17 years ago
- 874d63f Added passing "ASTContext" to both GREngine and GRConstants. by Ted Kremenek · 17 years ago
- 671c9e8 Minor tweak in GetValue to avoid an extra check for ParenExprs. by Ted Kremenek · 17 years ago
- 2eafd0e Implemented value tracking support for '*' and '*='. by Ted Kremenek · 17 years ago
- b4ae33f Implemented value tracking support for '+=' and '-='. by Ted Kremenek · 17 years ago
- 8cc09d5 Removed extra GraphViz node attributes for GRConstants, as some of them were by Ted Kremenek · 17 years ago
- 803c9ed some prettying of the GraphViz visualization of GRConstants analysis results. by Ted Kremenek · 17 years ago
- ab2b8c5 Major "architectural" changes to the GRConstants analysis. We now reason about by Ted Kremenek · 17 years ago
- f84469b Fixed bug in 'GetBinding' when doing the lookup of stored values. We now by Ted Kremenek · 17 years ago
- 2a9da9c Fixed bug in 'LiveVariables' analysis where we incorrectly marked a variable by Ted Kremenek · 17 years ago
- 8694674 Modified the notion of "Block-level expressions" in CFGs to include Stmt*. This by Ted Kremenek · 17 years ago
- 79649df Added support to dataflow solver to (when requested) also record dataflow by Ted Kremenek · 17 years ago
- 5e2b609 Removed FindDeclRef, and used Expr::IgnoreParens instead (code refactoring). by Ted Kremenek · 17 years ago
- 4e99a5f Added method Expr::IgnoreParens(), which returns the first non-ParenExpr Expr*. by Ted Kremenek · 17 years ago
- e00fe3f Added some experimental optimizations to remove dead values from the state. by Ted Kremenek · 17 years ago
- e3d7c24 Changed sorting criteria for DSPtr to put sub-expressions first in the value by Ted Kremenek · 17 years ago
- b3d2dca Changed sorting criteria for DSPtr to sort Decl* before Expr*, and by Ted Kremenek · 17 years ago
- ca3e857 IntegerLiterals are no longer evaluated to create separate nodes; their by Ted Kremenek · 17 years ago
- 95b3f6f Fixed bug where we performed addition instead of subtraction during by Ted Kremenek · 17 years ago
- 160760e Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 17 years ago
- aa66a32 Added initial graph visualization support for the GRConstants analysis. by Ted Kremenek · 17 years ago
- 0525a4f Added support from retrieving stored values to variables. by Ted Kremenek · 17 years ago
- 1ccd31c Added support for assignments in GRConstants. by Ted Kremenek · 17 years ago
- 22f0d97 Fixed bug where GRConstants::AddBindings() did not check for values by Ted Kremenek · 17 years ago
- a5a1ef4 Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly by Ted Kremenek · 17 years ago
- ee98546 Hooked up the GRConstants analysis to the driver. by Ted Kremenek · 17 years ago
- 3c6c672 More cleanups in DoStmt. The NodeSets are now vectors instead of sets, since by Ted Kremenek · 17 years ago
- 9849185 Adjusted DSPtr::Profile method again, since my last patch broke the build. by Ted Kremenek · 17 years ago
- ed371ce Changed 'Profile' method for DSPtr to incorporate the flags from the by Ted Kremenek · 17 years ago
- cb448ca Renamed some internal classes for the GR-Constant Propagation analysis. by Ted Kremenek · 17 years ago
- d27f816 Added skeleton implementation of new constant-prop. analysis using by Ted Kremenek · 17 years ago
- 425c08c Removed implicit transitions to a "BlockExit" location; we now handle by Ted Kremenek · 17 years ago
- f24af5b Added prototype implementation of path-sens. analysis core engine. by Ted Kremenek · 17 years ago
- d880c18 Moved destructor logic of templated class ExplodedGraph to non-templated by Ted Kremenek · 17 years ago
- 9eb49a4 Created ExplodedGraph.cpp and moved most method implementations of by Ted Kremenek · 17 years ago
- 33bfb5c Added ProgramPoint.cpp, which implements several methods of the subclasses by Ted Kremenek · 17 years ago
- 83c01da Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdge by Ted Kremenek · 17 years ago
- a2f4ef2 Removed some files related to the path-sensitive solver as part of some by Ted Kremenek · 17 years ago
- c2b51d8 Added VISIBILITY_HIDDEN to classes/structs in anonymous namespaces. by Ted Kremenek · 17 years ago
- 7794e2e Relocated comment in header. by Ted Kremenek · 17 years ago
- d25725e Added more boilerplate for processing end-of-paths. by Ted Kremenek · 17 years ago
- ede5a4b Added ownership of "checker state" within the ExplodedGraph. Moved code that by Ted Kremenek · 17 years ago
- 4241b3d Renamed SimulVertex, SimulGraph, and SimulEngine to: by Ted Kremenek · 17 years ago
- 58ca5f5 renamed class "GRCP" (Graph Reachabilty Constant Propagation) to by Ted Kremenek · 17 years ago
- 05abf8c Implemented End-Of-Path processing. by Ted Kremenek · 17 years ago
- 7978452 Initial checking of GRConstantPropagation.cpp, which implements a constant by Ted Kremenek · 17 years ago
- 6298b8c remove attribution from makefiles. by Chris Lattner · 17 years ago
- 0bc735f Don't attribute in file headers anymore. See llvmdev for the by Chris Lattner · 17 years ago
- cf6e41b Directory restructing of Analysis files. by Ted Kremenek · 17 years ago
- 81a56ec For uninitialized values analysis, added special treatment for declarations by Ted Kremenek · 17 years ago
- 8d9ebae Fixed bug in live-variable analysis and uninitialized-values analysis where by Ted Kremenek · 17 years ago
- 9c728dc TargetInfo no longer includes a reference to SourceManager. by Ted Kremenek · 17 years ago
- 7a9d49f Mega-patch: ripped SourceManager out of Diagnostic/DiagnosticClient. Now by Ted Kremenek · 17 years ago
- 3907323 GCC has an extension where the left hand side of the ? : operator can be omitted. Handle this in a few more places. by Anders Carlsson · 17 years ago
- ff7c538 Fixed bogus culling of uninitialized-values "taint" propagation during assignments. by Ted Kremenek · 17 years ago
- 9f9141c Updated CFGStmtVisitor and CFGRecStmtVisitor to have a notion of by Ted Kremenek · 17 years ago
- 4e4d652 Fixed bug where LiveVariables was not properly propagating updates to liveness by Ted Kremenek · 17 years ago
- 311ff02 Add a new Rewriter::getRangeSize method. by Chris Lattner · 17 years ago
- c7229c3 move IdentifierTable.h from liblex to libbasic. by Chris Lattner · 17 years ago
- 11e7218 Migrated LiveVariables and UninitializedVariables to now use the by Ted Kremenek · 17 years ago
- bcb07d5 Fixed bug where assignments to variables wrapped in parentheses would not by Ted Kremenek · 17 years ago
- 6ce2b63 Fixed UninitializedValues to properly propagate uninitialized "taint" by Ted Kremenek · 17 years ago
- c6a1faf DeadStores no longer reports warnings for stores to non-local variables. by Ted Kremenek · 17 years ago
- f63aa45 Significant cleanups and bug-fixes to LiveVariables. Uses new refactored by Ted Kremenek · 17 years ago
- a1de8c7 Fixed several bugs in the propagation of "uninitialized value" by Ted Kremenek · 17 years ago
- aead153 Created new "ExprDeclBitVector" type bundle for dataflow analyses that need boolean by Ted Kremenek · 17 years ago
- 1de632b Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client by Ted Kremenek · 17 years ago
- e88f683 Comment formatting changes. No real content changes. by Ted Kremenek · 17 years ago
- 6179aaf Minor comment changes. by Ted Kremenek · 17 years ago
- 4cd8b3c Removed "EverKilled" class in DeadStores checker; it is no longer used. by Ted Kremenek · 17 years ago
- fdd225e Further refactored DataflowSolver. Now most code for the solver is shared by Ted Kremenek · 17 years ago
- 11de5cb Updated header file inlcude to new location of by Ted Kremenek · 17 years ago