| commit | 1cbb58f1e846f282679ce314307753dc1a76bb77 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Sat Dec 22 01:43:37 2007 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Sat Dec 22 01:43:37 2007 +0000 |
| tree | a9880502e2bce920be24843cfd1128ae3fba9bf5 | |
| parent | dc5c01b2195574e856a0b107f0e9bc2c96de98e2 [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