aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRTransferFuncs.cpp
AgeCommit message (Expand)Author
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
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
2008-11-15Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv...Ted Kremenek
2008-10-30Rename:Zhongxing Xu
2008-10-30Fix 80-col.Zhongxing Xu
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
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-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-04-16Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV toTed Kremenek
2008-04-16Add missing file.Ted Kremenek