granicus.if.org Git - clang/history

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

2008-02-25	Ted Kremenek	Fixed bug in RemoveDeadBindings when performing the...	tree \| commitdiff
2008-02-25	Ted Kremenek	Expanded transfer function support for divide-by-zero...	tree \| commitdiff
2008-02-25	Ted Kremenek	Added hack to transfer function logic to handle the...	tree \| commitdiff
2008-02-25	Ted Kremenek	Added transfer function support for checking for divide...	tree \| commitdiff
2008-02-22	Ted Kremenek	Fixed horrid bug in LiveVariables analysis where we...	tree \| commitdiff
2008-02-22	Ted Kremenek	Punt on unifying symbolic lvalues. This won't be neede...	tree \| commitdiff
2008-02-22	Ted Kremenek	Added "assumption" logic for lval::FuncVal and lval...	tree \| commitdiff
2008-02-22	Ted Kremenek	Bug fix: For transfer function for unary "!", compare...	tree \| commitdiff
2008-02-22	Ted Kremenek	Bug fix in liveness: Only compute liveness information...	tree \| commitdiff
2008-02-21	Ted Kremenek	Return "Unknown" when using the value of a function...	tree \| commitdiff
2008-02-21	Ted Kremenek	Added transfer function support for dispatching to...	tree \| commitdiff
2008-02-21	Ted Kremenek	RemoveDeadBindings should now check for UninitalizedVal...	tree \| commitdiff
2008-02-21	Ted Kremenek	Regression fix: Handle pointer arithmetic in unary...	tree \| commitdiff
2008-02-21	Ted Kremenek	Removed bogus assertions regard LValues binding to...	tree \| commitdiff
2008-02-21	Ted Kremenek	Remove incorrect casts from UnknownVal to NonLVal.	tree \| commitdiff
2008-02-21	Ted Kremenek	FIX: Promote the correct operand.	tree \| commitdiff
2008-02-21	Ted Kremenek	Simplified and generalized transfer function logic...	tree \| commitdiff
2008-02-21	Ted Kremenek	Added transfer function support for sizeof(void)	tree \| commitdiff
2008-02-21	Ted Kremenek	Major cleanup of path-sensitive analysis engine and...	tree \| commitdiff
2008-02-20	Ted Kremenek	Implemented transfer function logic for unary '+'	tree \| commitdiff
2008-02-20	Ted Kremenek	Placed transfer function logic for dereferences in...	tree \| commitdiff
2008-02-19	Ted Kremenek	Added missing case in constant propagation logic for...	tree \| commitdiff
2008-02-19	Ted Kremenek	Added special handling for UninitializedVals for the...	tree \| commitdiff
2008-02-19	Ted Kremenek	Implemented "getType()" for symbolic values representin...	tree \| commitdiff
2008-02-19	Ted Kremenek	Fixed transfer function for casts to always evaluate...	tree \| commitdiff
2008-02-19	Ted Kremenek	Added transfer function support for casting to "void".	tree \| commitdiff
2008-02-19	Ted Kremenek	Fixed bug classof() bug with RValues that could cause...	tree \| commitdiff
2008-02-19	Ted Kremenek	Added back explicit state/node creation when visiting...	tree \| commitdiff
2008-02-19	Ted Kremenek	Added boilerplate transfer function support for CallExprs.	tree \| commitdiff
2008-02-19	Ted Kremenek	Added FIXME for properly handling local arrays using...	tree \| commitdiff
2008-02-19	Ted Kremenek	--grsimple now reports the number of nodes in the Explo...	tree \| commitdiff
2008-02-18	Ted Kremenek	Added more assertions and checks in transfer function...	tree \| commitdiff
2008-02-18	Ted Kremenek	Temporary solution to push analysis through to analyzin...	tree \| commitdiff
2008-02-16	Eli Friedman	A couple of msvc compile fixes from the ml; I haven...	tree \| commitdiff
2008-02-16	Ted Kremenek	Further cleanup. Moved definitions for SymbolManager...	tree \| commitdiff
2008-02-15	Ted Kremenek	Refactored code for transfer functions for binary opera...	tree \| commitdiff
2008-02-15	Ted Kremenek	Added transfer function support for conditional branche...	tree \| commitdiff
2008-02-15	Ted Kremenek	Simplified transfer function logic for ++/-- operators.	tree \| commitdiff
2008-02-15	Eli Friedman	Remove unnecessary references to VariableArrayType...	tree \| commitdiff
2008-02-15	Ted Kremenek	Added boilerplate transfer function support for pointer...	tree \| commitdiff
2008-02-15	Ted Kremenek	Added --grsimple-view option to clang driver; this...	tree \| commitdiff
2008-02-14	Ted Kremenek	Added "symbol iterators" for RValues, allowing easy...	tree \| commitdiff
2008-02-14	Ted Kremenek	When visualizing ExplodedNodes created by GRExprEngine...	tree \| commitdiff
2008-02-14	Ted Kremenek	Don't analyze functions when we have parse errors.	tree \| commitdiff
2008-02-14	Ted Kremenek	Renamed GRConstants => GRSimpleVals.	tree \| commitdiff
2008-02-14	Ted Kremenek	#include cleanups in GRExprEngine.cpp/GRExprEngine...	tree \| commitdiff
2008-02-14	Ted Kremenek	Partitioned definition/implementation of GRExperEngine...	tree \| commitdiff
2008-02-14	Ted Kremenek	Migrated transfer functions for binary operators for...	tree \| commitdiff
2008-02-14	Ted Kremenek	Migrated transfer functions for unary "~" and "-" to...	tree \| commitdiff
2008-02-14	Ted Kremenek	Started partitioning of transfer function logic (and...	tree \| commitdiff
2008-02-14	Ted Kremenek	Moved Rvalues.h from "Analysis/" to "include/clang...	tree \| commitdiff
2008-02-13	Ted Kremenek	Added support to GRCoreEngine/GRExprEngine for processi...	tree \| commitdiff
2008-02-13	Ted Kremenek	Fixed 80 col violations.	tree \| commitdiff
2008-02-13	Ted Kremenek	Unbreak the build.	tree \| commitdiff
2008-02-13	Ted Kremenek	Renamed files to match class renaming in r47070:	tree \| commitdiff
2008-02-13	Ted Kremenek	Renamed class GREngine => GRCoreEngine.	tree \| commitdiff
2008-02-13	Ted Kremenek	Simplify GRIndirectGotoNodeBuilder.	tree \| commitdiff
2008-02-13	Ted Kremenek	Added GREngine support for "break" and "continue".	tree \| commitdiff
2008-02-13	Ted Kremenek	Added support to GREngine/GRConstants for handling...	tree \| commitdiff
2008-02-12	Ted Kremenek	Added GREngine support for GotoStmt.	tree \| commitdiff
2008-02-12	Ted Kremenek	Added transfer function/value track logic for taking...	tree \| commitdiff
2008-02-12	Ted Kremenek	Minor (cosmetic) reshuffling of code. Fixed a bug in...	tree \| commitdiff
2008-02-12	Ted Kremenek	Added transfer function logic for sizeof(expr)/sizeof...	tree \| commitdiff
2008-02-12	Ted Kremenek	Renamed local variable.	tree \| commitdiff
2008-02-12	Ted Kremenek	Added GRBlockCounter class, which tracks the number...	tree \| commitdiff
2008-02-11	Ted Kremenek	Consolidated use of BumpPtrAllocator shared by various...	tree \| commitdiff
2008-02-11	Ted Kremenek	Separate bindings for subexpressions to be in a separat...	tree \| commitdiff
2008-02-08	Ted Kremenek	Split off expression-bindings in ValueState from variab...	tree \| commitdiff
2008-02-08	Ted Kremenek	Changed "GetValue" methods to take an	tree \| commitdiff
2008-02-08	Ted Kremenek	Moved implementation of "RemoveDeadBindings" from the...	tree \| commitdiff
2008-02-08	Ted Kremenek	Removed ability to create symbol bindings	tree \| commitdiff
2008-02-08	Ted Kremenek	Implemented transfer functions for "<<" and ">>" when...	tree \| commitdiff
2008-02-08	Ted Kremenek	Implemented transfer functions for Statement-Expression...	tree \| commitdiff
2008-02-08	Ted Kremenek	More variable renamings.	tree \| commitdiff
2008-02-08	Ted Kremenek	Renamed InvalidValue to UnknownVal.	tree \| commitdiff
2008-02-07	Ted Kremenek	Added some more opcode pretty-printing.	tree \| commitdiff
2008-02-07	Ted Kremenek	Added proof-of-concept NULL pointer diagnostics to...	tree \| commitdiff
2008-02-07	Ted Kremenek	Added support to distinguish between both implicit...	tree \| commitdiff
2008-02-07	Ted Kremenek	Added recording of "implicit" NULL dereferences of...	tree \| commitdiff
2008-02-07	Chris Lattner	get the tree building again	tree \| commitdiff
2008-02-07	Ted Kremenek	Added several guards in transfer functions for "Invalid...	tree \| commitdiff
2008-02-07	Ted Kremenek	Fixed bug in LiveVariables analysis where Block-level...	tree \| commitdiff
2008-02-07	Ted Kremenek	Added transfer function logic for ReturnStmts.	tree \| commitdiff
2008-02-06	Ted Kremenek	Major code refactoring/cleanup with transfer function...	tree \| commitdiff
2008-02-06	Ted Kremenek	Added main transfer function support for unary operator...	tree \| commitdiff
2008-02-06	Ted Kremenek	Added assumption logic for symbolic non-lvalues when...	tree \| commitdiff
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
next

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

RSS Atom