aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis
AgeCommit message (Expand)Author
2008-03-17Added initial transfer function support for inline asm.Ted Kremenek
2008-03-14Emit warnings for undefined control-flow.Ted Kremenek
2008-03-14Path-sensitive analyses no longer take a FunctionDecl, but any Decl representingTed Kremenek
2008-03-13The LiveVariables analysis no longer requires a FunctionDecl&; this allows itTed Kremenek
2008-03-12Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...Ted Kremenek
2008-03-12Fixed regression in SymbolManager introduced in r48272.Ted Kremenek
2008-03-12Prototype (pre-alpha) implementation of CFRef checker.Ted Kremenek
2008-03-11Expanded graph-visualization to include optional pretty-printing of checker-s...Ted Kremenek
2008-03-11Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter"Ted Kremenek
2008-03-11Expanded graph visualization interface to include specifying a range ofTed Kremenek
2008-03-11Added main skeleton for CFRetain transfer function logic.Ted Kremenek
2008-03-10Add transfer function support for pointer arithmetic where theTed Kremenek
2008-03-10More edge-case handling with using liveness information to prune dead state v...Ted Kremenek
2008-03-10More cleanups with using the liveness analysis to removed dead symbols andTed Kremenek
2008-03-09When processing the transfer function for a statement, evaluateTed Kremenek
2008-03-09Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into theTed Kremenek
2008-03-09Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat...Ted Kremenek
2008-03-07Added --trim-path-graph to the driver to trim paths from the ExplodedGraphTed Kremenek
2008-03-07Renamed ValueManager to BasicValueFactory.Ted Kremenek
2008-03-07Refined divide-by-zero checking to distinguish between must and mayTed Kremenek
2008-03-06fix typosGabor Greif
2008-03-06Added boilerplate to execute the CF reference count checker (which isn't yet ...Ted Kremenek
2008-03-05Added "CheckerState" field to ValueState.Ted Kremenek
2008-03-05Small bug fix when handling CallExprs that generate sink nodes.Ted Kremenek
2008-03-05Fixed bug that could case unwanted bifurcation of states when evaluating calls.Ted Kremenek
2008-03-05Fixed a horribly insidious bit-masking bug in the implementation ofTed Kremenek
2008-03-05remove the source location arguments to various target query methods.Chris Lattner
2008-03-05Reverted patch 47926 for ProgramPoint.h because it is currently buggy. May a...Ted Kremenek
2008-03-05Added support for ProgramPoints to represent ExplodedNodes in anotherTed Kremenek
2008-03-05Plug-in transfer function "EvalCall" now takes as an argument the currentTed Kremenek
2008-03-05Cleaned up typedefs involving StateTy so that we always use "StateTy*" instea...Ted Kremenek
2008-03-04Make GRStmtNodeBuilder only depend on StateTy, and not the type definitionTed Kremenek
2008-03-04Moved implementation of GRExprEngine::Nodify into GRStmtNodeBuilder. This willTed Kremenek
2008-03-04Moved GRExprEngine::NodeSet out of GRExprEngine and made it a standalone clas...Ted Kremenek
2008-03-04Fixed another obscure node-caching bug.Ted Kremenek
2008-03-04Implemented "print" method for ValueState.Ted Kremenek
2008-03-04Fixed insidious state propagation bug that would sometimes cause the stateTed Kremenek
2008-03-04Enhanced pretty-printing of undefined-argument errors.Ted Kremenek
2008-03-03Fixed subtle caching bug in ExplodedGraph that would cause some nodes toTed Kremenek
2008-03-01newline at end of file, by David ChisnallChris Lattner
2008-02-29Added extra check for calls to functions where we pass undefined valuesTed Kremenek
2008-02-29Add checks for function calls via a function pointer that is NULL, Undefined,Ted Kremenek
2008-02-29"Refinement" of hack to bound loop-traversals: visit any block at a maximum o...Ted Kremenek
2008-02-28Added checking for undefined results of '<<' and '>>' (shifting by too many b...Ted Kremenek
2008-02-28Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:...Ted Kremenek
2008-02-28Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.Ted Kremenek
2008-02-27End paths when calling a function marked "noreturn."Ted Kremenek
2008-02-27When analyzing a function, eagerly create symbolic values for allTed Kremenek
2008-02-27Header file cleanups: reduce number of includes; move ValueState.h into inclu...Ted Kremenek
2008-02-26Fix bug when processing '?' operator: invalidate the old "Uninitialized" valu...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-07 03:51:41 +0000