aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/GRTransferFuncs.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2009-12-23Migrate the call inliner to the Checker interface.Zhongxing Xu
2009-12-02Hard bifurcate the state into nil receiver and non-nil receiver, so thatZhongxing Xu
2009-11-03Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a...Ted Kremenek
2009-09-11Start to add a new transfer function that inlines callee. To be continued.Zhongxing Xu
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-06Last step of template cleanup: merge *BuilderImpl to *Builder.Zhongxing Xu
2009-08-06As GRState seems general enough, it is time to merge some template classes Zhongxing Xu
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-05-20* API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-02-14Static analyzer:Ted Kremenek
2009-02-04Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2008-11-15Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv...Ted Kremenek
2008-10-21Rename:Zhongxing Xu
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-08-16GRState:Ted Kremenek
2008-08-13Renamed GRState::CheckerStatePrinter to GRState::Printer.Ted Kremenek
2008-08-13Rename ValueState -> GRState.Ted Kremenek
2008-07-18Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is ...Ted Kremenek
2008-07-18Created ValueStateSet class to manage the creation of multiple states by a me...Ted Kremenek
2008-07-17Move GRTransferFunc* into ValueStateManager, and move the assumption logic th...Ted Kremenek
2008-07-17Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of...Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek
2008-05-29- Move ObjC Expresssion AST's from Expr.h => ExprObjC.hSteve Naroff
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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-02 19:11:13 +0000