summaryrefslogtreecommitdiffstats
path: root/clang/Analysis/GRConstantPropagation.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Removed some files related to the path-sensitive solver as part of someTed Kremenek2008-01-091-96/+0
| | | | | | code restructuring. (new files will be introduced shortly) llvm-svn: 45785
* Relocated comment in header.Ted Kremenek2008-01-081-2/+2
| | | | llvm-svn: 45728
* Renamed SimulVertex, SimulGraph, and SimulEngine to: Ted Kremenek2008-01-071-233/+1
| | | | | | | | | | | | ExplodedNode, ExplodedGraph (to match the vocabulary in the RHS paper) ReachabilityEngine The implementation of the core of the path-sensitive dataflow solver has been de-templatized and places in ReachabilityEngine.cpp. The solver is still incomplete. llvm-svn: 45711
* renamed class "GRCP" (Graph Reachabilty Constant Propagation) toTed Kremenek2008-01-031-13/+13
| | | | | | | "GREngine" (Graph Reachability Engine). The idea is to provide a separation of concerns between the constant prop. details and the core analysis engine. llvm-svn: 45555
* Implemented End-Of-Path processing.Ted Kremenek2008-01-031-14/+17
| | | | llvm-svn: 45554
* Initial checking of GRConstantPropagation.cpp, which implements a constantTed Kremenek2008-01-031-0/+325
propagation analysis via graph reachability. This analysis (which is incomplete) will be the basis for later developments on the core engine for path-sensitive analysis analysis. llvm-svn: 45552
OpenPOWER on IntegriCloud