aboutsummaryrefslogtreecommitdiff
path: root/Analysis
AgeCommit message (Expand)Author
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner
2008-03-15Fixed 80 col. violations.Ted Kremenek
2008-03-15Disable creation of "ContentsOf" symbols. It was fundamentally broken on manyTed Kremenek
2008-03-15Added initialization to ErrorDiag to silence gcc's warning of the variableTed Kremenek
2008-03-15Handle StmtExprs whose last contained statement is not an expression.Ted Kremenek
2008-03-15Compute alignment in bytes, not bits.Ted Kremenek
2008-03-15Implement transfer function logic for alignof operator (types).Ted Kremenek
2008-03-15Added transfer function support in GRExprEngine for __extension__.Ted Kremenek
2008-03-14"panic" has 5 letters, not 4. Bug pointed out by Nuno Lopes!Ted Kremenek
2008-03-14Hack to hardwire in some panic functions that are not marked noreturn.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-12Added generation of symbolic values for the return values of functions that haveTed Kremenek
2008-03-12In GRSimpleVals, added the generation of symbolic values for the return valuesTed Kremenek
2008-03-12Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFSTed Kremenek
2008-03-12Prototype (pre-alpha) implementation of CFRef checker.Ted Kremenek
2008-03-11Added pretty-printing support for checker-specific state for the CFRefCount c...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 bookkeeping of error nodes.Ted Kremenek
2008-03-11Added main logic for typestate tracking for the CFRetain checker.Ted Kremenek
2008-03-11Added main skeleton for CFRetain transfer function logic.Ted Kremenek
2008-03-10Fix "error: explicit template specialization cannot have a storage class" Chris Lattner
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 in the transfer function for compound assignments: if the valueTed Kremenek
2008-03-09Fixed crash where SetBlkExpr would attempt to query the liveness data whenTed Kremenek
2008-03-09Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat...Ted Kremenek
2008-03-07Increased worklist limit for GRSimpleVals.Ted Kremenek
2008-03-07Added --trim-path-graph to the driver to trim paths from the ExplodedGraphTed Kremenek
2008-03-07Improved graph visualization of ExplodedGraphs to include source line and columnTed 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-06Fixed mismatched deallocation in GRBlockCounter::Factory::~Factory.Ted Kremenek
2008-03-06Added boilerplate to execute the CF reference count checker (which isn't yet ...Ted Kremenek
2008-03-05Added transfer function support for __builtin_expect.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 bogus assumption mistakenly introduced in r47955.Ted Kremenek
2008-03-05Fixed a horribly insidious bit-masking bug in the implementation ofTed Kremenek
2008-03-05Minor cleanups (mainly indentation).Ted Kremenek
2008-03-05remove the source location arguments to various target query methods.Chris Lattner
2008-03-05Plug-in transfer function "EvalCall" now takes as an argument the currentTed Kremenek
2008-03-04Moved implementation of GRExprEngine::Nodify into GRStmtNodeBuilder. This willTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 16:03:11 +0000