aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/GRTransferFuncs.h
AgeCommit message (Expand)Author
2008-04-25Do a better job at computing dead symbols.Ted Kremenek
2008-04-24More boilerplate for handling specialized-transfer function logic for dead sy...Ted Kremenek
2008-04-23Fixed: <rdar://problem/5881148>Ted Kremenek
2008-04-18Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errorsTed Kremenek
2008-04-18Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluatingTed Kremenek
2008-04-16Handle ReturnStmts by dispatching to "EvalReturn" in the transfer function ob...Ted Kremenek
2008-04-16Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV toTed Kremenek
2008-04-16Hook up "EvalStore" from GRTransferFuncs to GRExprEngine.Ted Kremenek
2008-04-15Added some comments to GRExprEngine. Reorder some of the method definitionsTed Kremenek
2008-04-11Added "EvalEndPath" to GRTransferFuncs: the default implementation does notTed Kremenek
2008-04-09Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.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-07Renamed ValueManager to BasicValueFactory.Ted Kremenek
2008-03-06fix typosGabor Greif
2008-03-05Plug-in transfer function "EvalCall" now takes as an argument the currentTed Kremenek
2008-03-04Make GRStmtNodeBuilder only depend on StateTy, and not the type definitionTed Kremenek
2008-02-28Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:...Ted Kremenek
2008-02-26Added boilerplate for plug-in transfer function support for CallExprs.Ted Kremenek
2008-02-21Simplified and generalized transfer function logic for casts, allowingTed Kremenek
2008-02-21Major cleanup of path-sensitive analysis engine and the current analysisTed Kremenek
2008-02-20Implemented transfer function logic for unary '+'Ted Kremenek
2008-02-15Refactored code for transfer functions for binary operators involving two LVa...Ted Kremenek
2008-02-15Simplified transfer function logic for ++/-- operators.Ted Kremenek
2008-02-15Added boilerplate transfer function support for pointer arithmetic operations.Ted Kremenek
2008-02-14Migrated transfer functions for binary operators for simple value trackingTed Kremenek
2008-02-14Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimple...Ted Kremenek
2008-02-14Started partitioning of transfer function logic (and thus the policy behind Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-09 09:44:17 +0000