aboutsummaryrefslogtreecommitdiff
path: root/Analysis/GREngine.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 GREngine support for "break" and "continue".Ted Kremenek
2008-02-13Added support to GREngine/GRConstants for handling computed gotos.Ted Kremenek
2008-02-12Added GREngine support for GotoStmt.Ted Kremenek
2008-02-12Added GRBlockCounter class, which tracks the number of times blocksTed Kremenek
2008-02-05Implemented initial transfer function support for '&&', '||', '?', andTed 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-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-29Driver now passes the top-level FunctionDecl* to GRConstants.Ted Kremenek
2008-01-16Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperlyTed Kremenek
2008-01-16Hooked up the GRConstants analysis to the driver.Ted Kremenek
2008-01-15Removed implicit transitions to a "BlockExit" location; we now handleTed Kremenek
2008-01-14Added prototype implementation of path-sens. analysis core engine.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-07-17 11:58:25 +0000