- ab2b8c5 Major "architectural" changes to the GRConstants analysis. We now reason about by Ted Kremenek · 18 years ago
- f84469b Fixed bug in 'GetBinding' when doing the lookup of stored values. We now by Ted Kremenek · 18 years ago
- 2a9da9c Fixed bug in 'LiveVariables' analysis where we incorrectly marked a variable by Ted Kremenek · 18 years ago
- 8694674 Modified the notion of "Block-level expressions" in CFGs to include Stmt*. This by Ted Kremenek · 18 years ago
- 79649df Added support to dataflow solver to (when requested) also record dataflow by Ted Kremenek · 18 years ago
- 5e2b609 Removed FindDeclRef, and used Expr::IgnoreParens instead (code refactoring). by Ted Kremenek · 18 years ago
- 4e99a5f Added method Expr::IgnoreParens(), which returns the first non-ParenExpr Expr*. by Ted Kremenek · 18 years ago
- e00fe3f Added some experimental optimizations to remove dead values from the state. by Ted Kremenek · 18 years ago
- e3d7c24 Changed sorting criteria for DSPtr to put sub-expressions first in the value by Ted Kremenek · 18 years ago
- b3d2dca Changed sorting criteria for DSPtr to sort Decl* before Expr*, and by Ted Kremenek · 18 years ago
- ca3e857 IntegerLiterals are no longer evaluated to create separate nodes; their by Ted Kremenek · 18 years ago
- 95b3f6f Fixed bug where we performed addition instead of subtraction during by Ted Kremenek · 18 years ago
- 160760e Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 18 years ago
- aa66a32 Added initial graph visualization support for the GRConstants analysis. by Ted Kremenek · 18 years ago
- 0525a4f Added support from retrieving stored values to variables. by Ted Kremenek · 18 years ago
- 1ccd31c Added support for assignments in GRConstants. by Ted Kremenek · 18 years ago
- 22f0d97 Fixed bug where GRConstants::AddBindings() did not check for values by Ted Kremenek · 18 years ago
- a5a1ef4 Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly by Ted Kremenek · 18 years ago
- ee98546 Hooked up the GRConstants analysis to the driver. by Ted Kremenek · 18 years ago
- 3c6c672 More cleanups in DoStmt. The NodeSets are now vectors instead of sets, since by Ted Kremenek · 18 years ago
- 9849185 Adjusted DSPtr::Profile method again, since my last patch broke the build. by Ted Kremenek · 18 years ago
- ed371ce Changed 'Profile' method for DSPtr to incorporate the flags from the by Ted Kremenek · 18 years ago
- cb448ca Renamed some internal classes for the GR-Constant Propagation analysis. by Ted Kremenek · 18 years ago
- d27f816 Added skeleton implementation of new constant-prop. analysis using by Ted Kremenek · 18 years ago
- 425c08c Removed implicit transitions to a "BlockExit" location; we now handle by Ted Kremenek · 18 years ago
- f24af5b Added prototype implementation of path-sens. analysis core engine. by Ted Kremenek · 18 years ago
- d880c18 Moved destructor logic of templated class ExplodedGraph to non-templated by Ted Kremenek · 18 years ago
- 9eb49a4 Created ExplodedGraph.cpp and moved most method implementations of by Ted Kremenek · 18 years ago
- 33bfb5c Added ProgramPoint.cpp, which implements several methods of the subclasses by Ted Kremenek · 18 years ago
- 83c01da Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdge by Ted Kremenek · 18 years ago
- a2f4ef2 Removed some files related to the path-sensitive solver as part of some by Ted Kremenek · 18 years ago
- c2b51d8 Added VISIBILITY_HIDDEN to classes/structs in anonymous namespaces. by Ted Kremenek · 18 years ago
- 7794e2e Relocated comment in header. by Ted Kremenek · 18 years ago
- d25725e Added more boilerplate for processing end-of-paths. by Ted Kremenek · 18 years ago
- ede5a4b Added ownership of "checker state" within the ExplodedGraph. Moved code that by Ted Kremenek · 18 years ago
- 4241b3d Renamed SimulVertex, SimulGraph, and SimulEngine to: by Ted Kremenek · 18 years ago
- 58ca5f5 renamed class "GRCP" (Graph Reachabilty Constant Propagation) to by Ted Kremenek · 18 years ago
- 05abf8c Implemented End-Of-Path processing. by Ted Kremenek · 18 years ago
- 7978452 Initial checking of GRConstantPropagation.cpp, which implements a constant by Ted Kremenek · 18 years ago
- 6298b8c remove attribution from makefiles. by Chris Lattner · 18 years ago
- 0bc735f Don't attribute in file headers anymore. See llvmdev for the by Chris Lattner · 18 years ago
- cf6e41b Directory restructing of Analysis files. by Ted Kremenek · 18 years ago
- 81a56ec For uninitialized values analysis, added special treatment for declarations by Ted Kremenek · 18 years ago
- 8d9ebae Fixed bug in live-variable analysis and uninitialized-values analysis where by Ted Kremenek · 18 years ago
- 9c728dc TargetInfo no longer includes a reference to SourceManager. by Ted Kremenek · 18 years ago
- 7a9d49f Mega-patch: ripped SourceManager out of Diagnostic/DiagnosticClient. Now by Ted Kremenek · 18 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 · 18 years ago
- ff7c538 Fixed bogus culling of uninitialized-values "taint" propagation during assignments. by Ted Kremenek · 18 years ago
- 9f9141c Updated CFGStmtVisitor and CFGRecStmtVisitor to have a notion of by Ted Kremenek · 18 years ago
- 4e4d652 Fixed bug where LiveVariables was not properly propagating updates to liveness by Ted Kremenek · 18 years ago
- 311ff02 Add a new Rewriter::getRangeSize method. by Chris Lattner · 18 years ago
- c7229c3 move IdentifierTable.h from liblex to libbasic. by Chris Lattner · 18 years ago
- 11e7218 Migrated LiveVariables and UninitializedVariables to now use the by Ted Kremenek · 18 years ago
- bcb07d5 Fixed bug where assignments to variables wrapped in parentheses would not by Ted Kremenek · 18 years ago
- 6ce2b63 Fixed UninitializedValues to properly propagate uninitialized "taint" by Ted Kremenek · 18 years ago
- c6a1faf DeadStores no longer reports warnings for stores to non-local variables. by Ted Kremenek · 18 years ago
- f63aa45 Significant cleanups and bug-fixes to LiveVariables. Uses new refactored by Ted Kremenek · 18 years ago
- a1de8c7 Fixed several bugs in the propagation of "uninitialized value" by Ted Kremenek · 18 years ago
- aead153 Created new "ExprDeclBitVector" type bundle for dataflow analyses that need boolean by Ted Kremenek · 18 years ago
- 1de632b Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client by Ted Kremenek · 18 years ago
- e88f683 Comment formatting changes. No real content changes. by Ted Kremenek · 18 years ago
- 6179aaf Minor comment changes. by Ted Kremenek · 18 years ago
- 4cd8b3c Removed "EverKilled" class in DeadStores checker; it is no longer used. by Ted Kremenek · 18 years ago
- fdd225e Further refactored DataflowSolver. Now most code for the solver is shared by Ted Kremenek · 18 years ago
- 11de5cb Updated header file inlcude to new location of by Ted Kremenek · 18 years ago
- 2367e63 Updated VC++ project files. Disambiguated a variable. by Hartmut Kaiser · 18 years ago
- b297754 More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor. by Ted Kremenek · 18 years ago
- fe1b1e6 DataflowSolver now acccepts an "_Equal" template parameter that allows the user by Ted Kremenek · 18 years ago
- 44e4026 Changed solver to use "==" operator when comparing dataflow values by Ted Kremenek · 18 years ago
- 59d1827 Minor performance fix in transfer function logic. Previously we by Ted Kremenek · 18 years ago
- 43a1698 More refactoring and code reduction. by Ted Kremenek · 18 years ago
- 294a7c9 Add overloaded versions of DataflowSolver::runOnBlock to simplify by Ted Kremenek · 18 years ago
- a90b0d1 Added member template CFG::VisitBlockStmts to provide a succinct way by Ted Kremenek · 18 years ago
- 8e28065 Moved TransferFunction object within DataflowSolver to be a instance by Ted Kremenek · 18 years ago
- 105bfee Modified DataFlowValues and DataflowSolver to associate dataflow value by Ted Kremenek · 18 years ago
- 2a9d82a Bug fix to merging of data flow values (merge incorrectly made values by Ted Kremenek · 18 years ago
- 599e29c Renamed file due to mispelling. by Ted Kremenek · 18 years ago
- 2bf5514 UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with by Ted Kremenek · 18 years ago
- cd5860c More progress on UnitializedValues checker. We now have preliminary support by Ted Kremenek · 18 years ago
- 20ee4fb Split tracking of unitialized values for Decls and CFGBlock-level expressions. by Ted Kremenek · 18 years ago
- 56d516d Removed "ObserverTy" from core DataflowValues types. The observer by Ted Kremenek · 18 years ago
- c0508f9 switch the various CFG-based stuff over to using ASTConsumer interface, by Chris Lattner · 18 years ago
- 30df93b fix comment by Chris Lattner · 18 years ago
- 13ed7fe Prototype implementation of new template-based dataflow solver. by Ted Kremenek · 18 years ago
- 9474504 by Steve Naroff · 18 years ago
- b800dc2 make the sourcemgr available through ASTContext. by Chris Lattner · 18 years ago
- 97487a0 Minor space tightening. by Ted Kremenek · 18 years ago
- 37f9701 Fixed recursion bug: should call Visit on child instead of VisitStmt. by Ted Kremenek · 18 years ago
- f175805 Migrated LiveVariables to use the new DataflowStmtVisitor interface. The code by Ted Kremenek · 18 years ago
- ce1cab9 For looking at "dead stores" in declarations, we now check to see by Ted Kremenek · 18 years ago
- a596533 Fixed potential NULL dereference when iterating over a chain of Decls. by Ted Kremenek · 18 years ago
- 8467583 get rid of ugly "warning: no newline at end of file" by Gabor Greif · 18 years ago
- c0576ca Fixed LiveVariables to no longer track the liveness of function pointers by Ted Kremenek · 18 years ago
- b00c95e Renaming of the LiveVariablesAuditor interface. Changed "Auditor" and by Ted Kremenek · 18 years ago
- 83522a3 Added more checking in "dead stores" for values that are initialized by Ted Kremenek · 18 years ago
- e2ca142 Minor bug fixes to corner cases where LiveVariables would crash on some CFGs by Ted Kremenek · 18 years ago
- 1ed6d2e Forgot to check in the actual "dead stores" checker in the last commit! by Ted Kremenek · 18 years ago
- 055c275 Added "Dead Stores", a flow-sensitive checker that checks for stores by Ted Kremenek · 18 years ago
- 27b07c5 LiveVariables: by Ted Kremenek · 18 years ago
- e4e6334 Added an early implementation of Live-Variables analysis built on by Ted Kremenek · 18 years ago