aboutsummaryrefslogtreecommitdiff
path: root/Analysis/GRConstants.cpp
AgeCommit message (Expand)Author
2008-02-13Renamed files to match class renaming in r47070:Ted Kremenek
2008-02-13Renamed class GREngine => GRCoreEngine.Ted Kremenek
2008-02-13Simplify GRIndirectGotoNodeBuilder.Ted Kremenek
2008-02-13Added support to GREngine/GRConstants for handling computed gotos.Ted Kremenek
2008-02-12Minor (cosmetic) reshuffling of code. Fixed a bug in "Assume" logic whenTed Kremenek
2008-02-12Added transfer function logic for sizeof(expr)/sizeof(type). This currentlyTed Kremenek
2008-02-12Added GRBlockCounter class, which tracks the number of times blocksTed Kremenek
2008-02-11Separate bindings for subexpressions to be in a separate map forTed Kremenek
2008-02-08Split off expression-bindings in ValueState from variable-bindings.Ted Kremenek
2008-02-08Changed "GetValue" methods to take anTed Kremenek
2008-02-08Moved implementation of "RemoveDeadBindings" from the mainTed Kremenek
2008-02-08Removed ability to create symbol bindingsTed Kremenek
2008-02-08Implemented transfer functions for Statement-Expressions and Commas.Ted Kremenek
2008-02-08More variable renamings.Ted Kremenek
2008-02-08Renamed InvalidValue to UnknownVal.Ted Kremenek
2008-02-07Added some more opcode pretty-printing.Ted Kremenek
2008-02-07Added proof-of-concept NULL pointer diagnostics to GRConstants.Ted Kremenek
2008-02-07Added support to distinguish between both implicit and explicit null derefere...Ted Kremenek
2008-02-07Added recording of "implicit" NULL dereferences of symbolic pointers.Ted Kremenek
2008-02-07Added several guards in transfer functions for "InvalidValues".Ted Kremenek
2008-02-07Added transfer function logic for ReturnStmts.Ted Kremenek
2008-02-06Major code refactoring/cleanup with transfer function logic. Now theTed Kremenek
2008-02-06Added main transfer function support for unary operator "!".Ted Kremenek
2008-02-06Added assumption logic for symbolic non-lvalues when used in conditions such asTed Kremenek
2008-02-06Fixed bug in '=' transfer function: RHS does not have to be a non-LValue.Ted Kremenek
2008-02-06Fixed signedness bug in cast transfer function when casting integers to point...Ted Kremenek
2008-02-06Modified state pretty-printing to include the '!=' and '==' constraints onTed Kremenek
2008-02-06Added some skeleton code for performing "assume" on symbols: e.g. assume($0 !...Ted Kremenek
2008-02-05Moved subclasses of LValue and NonLValue into their own namespaces.Ted Kremenek
2008-02-05Added "batch" processing versions of Nodify and SetValue. Created typedefsTed Kremenek
2008-02-05Renamed typedef "iterator" in ValueState to "vb_iterator" (for "VariableBindi...Ted Kremenek
2008-02-05Overhauling of "ValueState" so that it represents its own functional dataTed Kremenek
2008-02-05ValueManager now uses the BumpPtrAllocator owned by the ExplodedGraph.Ted Kremenek
2008-02-05Simplified transfer functions for '++' and '--'Ted Kremenek
2008-02-05Implemented initial transfer function support for '&&', '||', '?', andTed Kremenek
2008-02-04Created ValueStateManager, a full-blown class to manage the statesTed Kremenek
2008-02-04Implemented transfer function for unary '~'.Ted Kremenek
2008-02-01Implemented casts for ConcreteInt and ConcreteIntLValue.Ted Kremenek
2008-01-31Moved RValue code in GRConstants.cpp to RValue.[h,cpp].Ted Kremenek
2008-01-31Fixed misspelling of "LLVM" due to some editor+Ted madness.Ted Kremenek
2008-01-31Added transfer function support for unary '&' and '*', providing basicTed Kremenek
2008-01-31Added 'SymbolicLValue' class to represent LValues whose value is symbolic.Ted Kremenek
2008-01-30We now delay adding nodes created by GRBranchNodeBuilder to the analysisTed Kremenek
2008-01-30Implemented some branch pruning in GRConstants using != and == forTed Kremenek
2008-01-30Minor cosmetic cleanups: replaced some integer literals with constants andTed Kremenek
2008-01-29Implemented more boilerplate in GREngine for processing branches. NowTed Kremenek
2008-01-29Added boilerplate logic in GREngine for processing branches.Ted Kremenek
2008-01-29Renamed GRNodeBuilder to GRStmtNodeBuilder.Ted Kremenek
2008-01-29Minor fix in transfer function of '!=' where a 'false' literal shouldTed Kremenek
2008-01-29Added preliminary transfer function support for '==' and '!='.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-07-12 09:24:57 +0000