aboutsummaryrefslogtreecommitdiff
path: root/Analysis/GRConstants.cpp
AgeCommit message (Expand)Author
2008-01-29Added "SymbolManager", which manages the set of symbolic values usedTed Kremenek
2008-01-29Fixed bug where not all dead subexpressions were being pruned from the analysisTed Kremenek
2008-01-29Modified LiveVariables to perform all of its base initialization in the ctor,Ted Kremenek
2008-01-29Added skeleton code for tracking the values of function parameters.Ted Kremenek
2008-01-29Driver now passes the top-level FunctionDecl* to GRConstants.Ted Kremenek
2008-01-28Added RValue class "UninitializedValue".Ted Kremenek
2008-01-28Added transfer function logic for "%=" operator.Ted Kremenek
2008-01-28Added transfer function hookups for "modulo" operator.Ted Kremenek
2008-01-28Minor tweaking with hierarchy of NonLValue objects: SymbolValue isTed Kremenek
2008-01-28Some additional cleanups with method names.Ted Kremenek
2008-01-25Implemented transfer function for '/='.Ted Kremenek
2008-01-25Further refactoring of transfer functions by having APSIntSetOp takeTed Kremenek
2008-01-25Renamed RValueDisjunctiveEqual to RValEqualityORSet. Ted Kremenek
2008-01-25Fixed 80 col. violation.Ted Kremenek
2008-01-25Renamed RValueMayEqualSet to RValueDisjunctiveEqual.Ted Kremenek
2008-01-24Some minor restructuring around LValue and RValue types. The value "kind"Ted Kremenek
2008-01-24enum value name change.Ted Kremenek
2008-01-24More cleanups to pretty-printing of states in GraphViz output.Ted Kremenek
2008-01-24Added transfer function for DeclStmt.Ted Kremenek
2008-01-24Adjusted storage of values for Stmt* so that we need only query ifTed Kremenek
2008-01-24Fixed a bug where the values of block-level expressions were being recorded inTed Kremenek
2008-01-24Minor tweaks in the transfer functions for pre- and post- ++/-- whereTed Kremenek
2008-01-24Added support for unary operator '-' for equality sets.Ted Kremenek
2008-01-24Added transfer functions for pre- and post- increment/decrement operators.Ted Kremenek
2008-01-24Added passing "ASTContext" to both GREngine and GRConstants.Ted Kremenek
2008-01-24Minor tweak in GetValue to avoid an extra check for ParenExprs.Ted Kremenek
2008-01-23Implemented value tracking support for '*' and '*='.Ted Kremenek
2008-01-23Implemented value tracking support for '+=' and '-='.Ted Kremenek
2008-01-23Removed extra GraphViz node attributes for GRConstants, as some of them wereTed Kremenek
2008-01-23some prettying of the GraphViz visualization of GRConstants analysis results.Ted Kremenek
2008-01-23Major "architectural" changes to the GRConstants analysis. We now reason aboutTed Kremenek
2008-01-18Fixed bug in 'GetBinding' when doing the lookup of stored values. We nowTed Kremenek
2008-01-17Added support to dataflow solver to (when requested) also record dataflowTed Kremenek
2008-01-17Added method Expr::IgnoreParens(), which returns the first non-ParenExpr Expr*.Ted Kremenek
2008-01-17Added some experimental optimizations to remove dead values from theTed Kremenek
2008-01-16Changed sorting criteria for DSPtr to put sub-expressions first in the valueTed Kremenek
2008-01-16Changed sorting criteria for DSPtr to sort Decl* before Expr*, andTed Kremenek
2008-01-16IntegerLiterals are no longer evaluated to create separate nodes; theirTed Kremenek
2008-01-16Fixed bug where we performed addition instead of subtraction duringTed Kremenek
2008-01-16Added initial graph visualization support for the GRConstants analysis.Ted Kremenek
2008-01-16Added support from retrieving stored values to variables.Ted Kremenek
2008-01-16Added support for assignments in GRConstants.Ted Kremenek
2008-01-16Fixed bug where GRConstants::AddBindings() did not check for valuesTed Kremenek
2008-01-16Hooked up the GRConstants analysis to the driver.Ted Kremenek
2008-01-16More cleanups in DoStmt. The NodeSets are now vectors instead of sets, sinceTed Kremenek
2008-01-16Adjusted DSPtr::Profile method again, since my last patch broke the build.Ted Kremenek
2008-01-16Changed 'Profile' method for DSPtr to incorporate the flags from theTed Kremenek
2008-01-16Renamed some internal classes for the GR-Constant Propagation analysis.Ted Kremenek
2008-01-15Added skeleton implementation of new constant-prop. analysis usingTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-06 18:37:25 +0000