granicus.if.org Git - clang/history

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

2008-03-07	Ted Kremenek	Increased worklist limit for GRSimpleVals.	tree \| commitdiff
2008-03-07	Ted Kremenek	Added --trim-path-graph to the driver to trim paths...	tree \| commitdiff
2008-03-07	Ted Kremenek	Improved graph visualization of ExplodedGraphs to inclu...	tree \| commitdiff
2008-03-07	Ted Kremenek	Renamed ValueManager to BasicValueFactory.	tree \| commitdiff
2008-03-07	Ted Kremenek	Refined divide-by-zero checking to distinguish between...	tree \| commitdiff
2008-03-06	Gabor Greif	fix typos	tree \| commitdiff
2008-03-06	Ted Kremenek	Fixed mismatched deallocation in GRBlockCounter::Factor...	tree \| commitdiff
2008-03-06	Ted Kremenek	Added boilerplate to execute the CF reference count...	tree \| commitdiff
2008-03-05	Ted Kremenek	Added transfer function support for __builtin_expect.	tree \| commitdiff
2008-03-05	Ted Kremenek	Small bug fix when handling CallExprs that generate...	tree \| commitdiff
2008-03-05	Ted Kremenek	Fixed bug that could case unwanted bifurcation of state...	tree \| commitdiff
2008-03-05	Ted Kremenek	Fixed bogus assumption mistakenly introduced in r47955.	tree \| commitdiff
2008-03-05	Ted Kremenek	Fixed a horribly insidious bit-masking bug in the imple...	tree \| commitdiff
2008-03-05	Ted Kremenek	Minor cleanups (mainly indentation).	tree \| commitdiff
2008-03-05	Chris Lattner	remove the source location arguments to various target...	tree \| commitdiff
2008-03-05	Ted Kremenek	Plug-in transfer function "EvalCall" now takes as an...	tree \| commitdiff
2008-03-04	Ted Kremenek	Moved implementation of GRExprEngine::Nodify into GRStm...	tree \| commitdiff
2008-03-04	Ted Kremenek	Added preliminary transfer function support for references.	tree \| commitdiff
2008-03-04	Ted Kremenek	For the transfer function for CallExpr, invalidate...	tree \| commitdiff
2008-03-04	Ted Kremenek	For the transfer function of DeclStmt, for now initiali...	tree \| commitdiff
2008-03-04	Ted Kremenek	Implemented "print" method for ValueState.	tree \| commitdiff
2008-03-04	Ted Kremenek	Add transfer function support for the default initializ...	tree \| commitdiff
2008-03-04	Ted Kremenek	Fixed insidious state propagation bug that would someti...	tree \| commitdiff
2008-03-04	Ted Kremenek	Enhanced pretty-printing of undefined-argument errors.	tree \| commitdiff
2008-03-03	Ted Kremenek	Fixed subtle caching bug in ExplodedGraph that would...	tree \| commitdiff
2008-03-03	Ted Kremenek	Added FIXME.	tree \| commitdiff
2008-02-29	Ted Kremenek	Added extra check for calls to functions where we pass...	tree \| commitdiff
2008-02-29	Ted Kremenek	Add checks for function calls via a function pointer...	tree \| commitdiff
2008-02-29	Ted Kremenek	"Refinement" of hack to bound loop-traversals: visit...	tree \| commitdiff
2008-02-28	Ted Kremenek	Added simple hack to reduce redundant warnings from...	tree \| commitdiff
2008-02-28	Ted Kremenek	Added checking for undefined results of '<<' and '...	tree \| commitdiff
2008-02-28	Ted Kremenek	Merged ValueState and ValueStateImpl into just ValueSta...	tree \| commitdiff
2008-02-28	Ted Kremenek	Renamed "Uninitialized" -> "Undefined" in path-sensitiv...	tree \| commitdiff
2008-02-27	Ted Kremenek	Fixed use of an uninitialized variable.	tree \| commitdiff
2008-02-27	Ted Kremenek	End paths when calling a function marked "noreturn."	tree \| commitdiff
2008-02-27	Ted Kremenek	Small tweaks to the transfer function for DeclStmt...	tree \| commitdiff
2008-02-27	Ted Kremenek	Added string "[CHECKER]" to the output diagnostics...	tree \| commitdiff
2008-02-27	Ted Kremenek	Small fix to VisitLVal: this method can be called on...	tree \| commitdiff
2008-02-27	Ted Kremenek	When analyzing a function, eagerly create symbolic...	tree \| commitdiff
2008-02-27	Ted Kremenek	Header file cleanups: reduce number of includes; move...	tree \| commitdiff
2008-02-27	Ted Kremenek	Similar bug fix to r47650; when processing CallExprs...	tree \| commitdiff
2008-02-27	Ted Kremenek	Fixed bug in the core transfer function logic for CallE...	tree \| commitdiff
2008-02-26	Ted Kremenek	Fix bug when processing '?' operator: invalidate the...	tree \| commitdiff
2008-02-26	Ted Kremenek	Added boilerplate for plug-in transfer function support...	tree \| commitdiff
2008-02-26	Ted Kremenek	Don't emit divide-by-zero errors when we divide by...	tree \| commitdiff
2008-02-26	Ted Kremenek	Removed static analysis-specific diagnostics from Diagn...	tree \| commitdiff
2008-02-26	Ted Kremenek	Removed hack with toggling the signedness flag of the...	tree \| commitdiff
2008-02-26	Ted Kremenek	Small fixes to shore up overhauling of transfer functio...	tree \| commitdiff
2008-02-26	Ted Kremenek	optimization: no longer create ExplodedNodes for Intege...	tree \| commitdiff
2008-02-26	Ted Kremenek	Major cleanup of the transfer function logic for '...	tree \| commitdiff
2008-02-26	Ted Kremenek	Fixed inverted condition.	tree \| commitdiff
2008-02-26	Ted Kremenek	Added lazy "symbolication" of parameter variables and...	tree \| commitdiff
2008-02-26	Ted Kremenek	Added FIXME.	tree \| commitdiff
2008-02-25	Ted Kremenek	Minor bug fix in LiveVariables: don't "kill" decls...	tree \| commitdiff
2008-02-25	Ted Kremenek	Better handling of calls to functions via function...	tree \| commitdiff
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
next

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

RSS Atom