granicus.if.org Git - clang/history

]> granicus.if.org Git - clang/history - Analysis

2008-02-06	Ted Kremenek	Fixed bug in '=' transfer function: RHS does not have...	tree \| commitdiff
2008-02-06	Ted Kremenek	Fixed signedness bug in cast transfer function when...	tree \| commitdiff
2008-02-06	Ted Kremenek	Modified state pretty-printing to include the '!='...	tree \| commitdiff
2008-02-06	Ted Kremenek	Disabled operator= for ValueStateImpl.	tree \| commitdiff
2008-02-06	Ted Kremenek	Fixed bug when allocating a ValueStateImpl object in...	tree \| commitdiff
2008-02-06	Ted Kremenek	Added some skeleton code for performing "assume" on...	tree \| commitdiff
2008-02-05	Ted Kremenek	Added pretty-printing support for lval::SymIntConstrain...	tree \| commitdiff
2008-02-05	Ted Kremenek	Moved implementation of cast<> for SymbolData closer...	tree \| commitdiff
2008-02-05	Ted Kremenek	Added new "NonLValue" class: SymIntConstraintVal. This...	tree \| commitdiff
2008-02-05	Ted Kremenek	Moved subclasses of LValue and NonLValue into their...	tree \| commitdiff
2008-02-05	Ted Kremenek	Added "SymIntConstraint", a utility class to represent...	tree \| commitdiff
2008-02-05	Ted Kremenek	Added "batch" processing versions of Nodify and SetValu...	tree \| commitdiff
2008-02-05	Ted Kremenek	Added a "ConstantNotEq" map to ValueState (and added...	tree \| commitdiff
2008-02-05	Ted Kremenek	Added some comments.	tree \| commitdiff
2008-02-05	Ted Kremenek	Renamed typedef "iterator" in ValueState to "vb_iterato...	tree \| commitdiff
2008-02-05	Ted Kremenek	Reordered fields/methods in ValueState to make it more...	tree \| commitdiff
2008-02-05	Ted Kremenek	Overhauling of "ValueState" so that it represents its...	tree \| commitdiff
2008-02-05	Ted Kremenek	ValueManager now uses the BumpPtrAllocator owned by...	tree \| commitdiff
2008-02-05	Ted Kremenek	Simplified transfer functions for '++' and '--'	tree \| commitdiff
2008-02-05	Ted Kremenek	Implemented initial transfer function support for ...	tree \| commitdiff
2008-02-04	Ted Kremenek	Added file that should have been in my previous commit.	tree \| commitdiff
2008-02-04	Ted Kremenek	Created ValueStateManager, a full-blown class to manage...	tree \| commitdiff
2008-02-04	Ted Kremenek	Implemented transfer function for unary '~'.	tree \| commitdiff
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
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom