]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc5c01b) | patch
Added (incomplete) implementation of SimulEngine, a worklist-based dataflow
authorTed Kremenek <kremenek@apple.com>
Sat, 22 Dec 2007 01:43:37 +0000 (01:43 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 22 Dec 2007 01:43:37 +0000 (01:43 +0000)
commit1cbb58f1e846f282679ce314307753dc1a76bb77
treea9880502e2bce920be24843cfd1128ae3fba9bf5tree | snapshot
parentdc5c01b2195574e856a0b107f0e9bc2c96de98e2commit | diff
Added (incomplete) implementation of SimulEngine, a worklist-based dataflow
solver for path-sensitive, intra-procedural analysis.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45306 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/SimulEngine.h [new file with mode: 0644] blob
include/clang/Analysis/PathSensitive/SimulGraph.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.