2008-02-01 |
Ted Kremenek | Implemented casts for ConcreteInt and ConcreteIntLValue. |
tree | commitdiff |
2008-01-31 |
Ted Kremenek | Added skeleton for new LValue class ConcereteIntLValue. |
tree | commitdiff |
2008-01-31 |
Ted Kremenek | Moved RValue code in GRConstants.cpp to RValue.[h,cpp]. |
tree | commitdiff |
2008-01-31 |
Ted Kremenek | Fixed misspelling of "LLVM" due to some editor+Ted... |
tree | commitdiff |
2008-01-31 |
Ted Kremenek | Added transfer function support for unary '&' and ... |
tree | commitdiff |
2008-01-31 |
Ted Kremenek | Added 'SymbolicLValue' class to represent LValues whose... |
tree | commitdiff |
2008-01-30 |
Ted Kremenek | We now delay adding nodes created by GRBranchNodeBuilde... |
tree | commitdiff |
2008-01-30 |
Ted Kremenek | Implemented some branch pruning in GRConstants using... |
tree | commitdiff |
2008-01-30 |
Ted Kremenek | Minor cosmetic cleanups: replaced some integer literals... |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Implemented more boilerplate in GREngine for processing... |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Fixed bit-setting bug for ExplodedNodeImpl::NodeGroup. |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Added boilerplate logic in GREngine for processing... |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Renamed GRNodeBuilder to GRStmtNodeBuilder. |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Minor fix in transfer function of '!=' where a 'false... |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Added preliminary transfer function support for '=... |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Added "SymbolManager", which manages the set of symboli... |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Fixed bug where not all dead subexpressions were being... |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Modified LiveVariables to perform all of its base initi... |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Added skeleton code for tracking the values of function... |
tree | commitdiff |
2008-01-29 |
Ted Kremenek | Driver now passes the top-level FunctionDecl* to GRCons... |
tree | commitdiff |
2008-01-28 |
Ted Kremenek | Added RValue class "UninitializedValue". |
tree | commitdiff |
2008-01-28 |
Ted Kremenek | Added transfer function logic for "%=" operator. |
tree | commitdiff |
2008-01-28 |
Ted Kremenek | Added transfer function hookups for "modulo" operator. |
tree | commitdiff |
2008-01-28 |
Ted Kremenek | Minor tweaking with hierarchy of NonLValue objects... |
tree | commitdiff |
2008-01-28 |
Ted Kremenek | Some additional cleanups with method names. |
tree | commitdiff |
2008-01-26 |
Ted Kremenek | Added back logic in patch r46361 (http://llvm.org/viewv... |
tree | commitdiff |
2008-01-25 |
Ted Kremenek | Implemented transfer function for '/='. |
tree | commitdiff |
2008-01-25 |
Ted Kremenek | Further refactoring of transfer functions by having... |
tree | commitdiff |
2008-01-25 |
Ted Kremenek | Renamed RValueDisjunctiveEqual to RValEqualityORSet. |
tree | commitdiff |
2008-01-25 |
Ted Kremenek | Fixed 80 col. violation. |
tree | commitdiff |
2008-01-25 |
Ted Kremenek | Renamed RValueMayEqualSet to RValueDisjunctiveEqual. |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | Some minor restructuring around LValue and RValue types... |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | enum value name change. |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | More cleanups to pretty-printing of states in GraphViz... |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | Added transfer function for DeclStmt. |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | Adjusted storage of values for Stmt* so that we need... |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | Fixed a bug where the values of block-level expressions... |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | Minor tweaks in the transfer functions for pre- and... |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | Added support for unary operator '-' for equality sets. |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | Added transfer functions for pre- and post- increment... |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | Added passing "ASTContext" to both GREngine and GRConst... |
tree | commitdiff |
2008-01-24 |
Ted Kremenek | Minor tweak in GetValue to avoid an extra check for... |
tree | commitdiff |
2008-01-23 |
Ted Kremenek | Implemented value tracking support for '*' and '*='. |
tree | commitdiff |
2008-01-23 |
Ted Kremenek | Implemented value tracking support for '+=' and '-='. |
tree | commitdiff |
2008-01-23 |
Ted Kremenek | Removed extra GraphViz node attributes for GRConstants... |
tree | commitdiff |
2008-01-23 |
Ted Kremenek | some prettying of the GraphViz visualization of GRConst... |
tree | commitdiff |
2008-01-23 |
Ted Kremenek | Major "architectural" changes to the GRConstants analys... |
tree | commitdiff |
2008-01-18 |
Ted Kremenek | Fixed bug in 'GetBinding' when doing the lookup of... |
tree | commitdiff |
2008-01-18 |
Ted Kremenek | Fixed bug in 'LiveVariables' analysis where we incorrec... |
tree | commitdiff |
2008-01-17 |
Ted Kremenek | Modified the notion of "Block-level expressions" in... |
tree | commitdiff |
2008-01-17 |
Ted Kremenek | Added support to dataflow solver to (when requested... |
tree | commitdiff |
2008-01-17 |
Ted Kremenek | Removed FindDeclRef, and used Expr::IgnoreParens instea... |
tree | commitdiff |
2008-01-17 |
Ted Kremenek | Added method Expr::IgnoreParens(), which returns the... |
tree | commitdiff |
2008-01-17 |
Ted Kremenek | Added some experimental optimizations to remove dead... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Changed sorting criteria for DSPtr to put sub-expressio... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Changed sorting criteria for DSPtr to sort Decl* before... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | IntegerLiterals are no longer evaluated to create separ... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Fixed bug where we performed addition instead of subtra... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Fixed iterator bug in ExplodedNodeImpl::NodeGroup:... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Added initial graph visualization support for the GRCon... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Added support from retrieving stored values to variables. |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Added support for assignments in GRConstants. |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Fixed bug where GRConstants::AddBindings() did not... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Fixed bug in cleanup of nodes in ExplodedNodeImpl where... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Hooked up the GRConstants analysis to the driver. |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | More cleanups in DoStmt. The NodeSets are now vectors... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Adjusted DSPtr::Profile method again, since my last... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Changed 'Profile' method for DSPtr to incorporate the... |
tree | commitdiff |
2008-01-16 |
Ted Kremenek | Renamed some internal classes for the GR-Constant Propa... |
tree | commitdiff |
2008-01-15 |
Ted Kremenek | Added skeleton implementation of new constant-prop... |
tree | commitdiff |
2008-01-15 |
Ted Kremenek | Removed implicit transitions to a "BlockExit" location... |
tree | commitdiff |
2008-01-14 |
Ted Kremenek | Added prototype implementation of path-sens. analysis... |
tree | commitdiff |
2008-01-13 |
Ted Kremenek | Moved destructor logic of templated class ExplodedGraph... |
tree | commitdiff |
2008-01-13 |
Ted Kremenek | Created ExplodedGraph.cpp and moved most method impleme... |
tree | commitdiff |
2008-01-11 |
Ted Kremenek | Added ProgramPoint.cpp, which implements several method... |
tree | commitdiff |
2008-01-11 |
Ted Kremenek | Renamed ProgramEdge to ProgramPoint and changed subclas... |
tree | commitdiff |
2008-01-09 |
Ted Kremenek | Removed some files related to the path-sensitive solver... |
tree | commitdiff |
2008-01-08 |
Ted Kremenek | Added VISIBILITY_HIDDEN to classes/structs in anonymous... |
tree | commitdiff |
2008-01-08 |
Ted Kremenek | Relocated comment in header. |
tree | commitdiff |
2008-01-07 |
Ted Kremenek | Added more boilerplate for processing end-of-paths. |
tree | commitdiff |
2008-01-07 |
Ted Kremenek | Added ownership of "checker state" within the ExplodedG... |
tree | commitdiff |
2008-01-07 |
Ted Kremenek | Renamed SimulVertex, SimulGraph, and SimulEngine to: |
tree | commitdiff |
2008-01-03 |
Ted Kremenek | renamed class "GRCP" (Graph Reachabilty Constant Propag... |
tree | commitdiff |
2008-01-03 |
Ted Kremenek | Implemented End-Of-Path processing. |
tree | commitdiff |
2008-01-03 |
Ted Kremenek | Initial checking of GRConstantPropagation.cpp, which... |
tree | commitdiff |
2007-12-29 |
Chris Lattner | remove attribution from makefiles. |
tree | commitdiff |
2007-12-29 |
Chris Lattner | Don't attribute in file headers anymore. See llvmdev... |
tree | commitdiff |
2007-12-21 |
Ted Kremenek | Directory restructing of Analysis files. |
tree | commitdiff |
2007-12-13 |
Ted Kremenek | For uninitialized values analysis, added special treatm... |
tree | commitdiff |
2007-12-13 |
Ted Kremenek | Fixed bug in live-variable analysis and uninitialized... |
tree | commitdiff |
2007-12-12 |
Ted Kremenek | TargetInfo no longer includes a reference to SourceManager. |
tree | commitdiff |
2007-12-11 |
Ted Kremenek | Mega-patch: ripped SourceManager out of Diagnostic... |
tree | commitdiff |
2007-11-30 |
Anders Carlsson | GCC has an extension where the left hand side of the... |
tree | commitdiff |
2007-11-24 |
Ted Kremenek | Fixed bogus culling of uninitialized-values "taint... |
tree | commitdiff |
2007-11-20 |
Ted Kremenek | Updated CFGStmtVisitor and CFGRecStmtVisitor to have... |
tree | commitdiff |
2007-11-19 |
Ted Kremenek | Fixed bug where LiveVariables was not properly propagat... |
tree | commitdiff |
2007-10-16 |
Chris Lattner | Add a new Rewriter::getRangeSize method. |
tree | commitdiff |
2007-10-07 |
Chris Lattner | move IdentifierTable.h from liblex to libbasic. |
tree | commitdiff |
2007-10-01 |
Ted Kremenek | Migrated LiveVariables and UninitializedVariables to... |
tree | commitdiff |
2007-09-28 |
Ted Kremenek | Fixed bug where assignments to variables wrapped in... |
tree | commitdiff |
next |