diff options
| author | Bruce He <44327446+zm2he@users.noreply.github.com> | 2023-06-23 22:56:48 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-23 18:56:48 -0400 |
| commit | fd9d04ccd615b185e65a765e3587eae3f72aa867 (patch) | |
| tree | 69e7890a23a8bfc5c2cfcf61ae37abc48830d13b /src/dataflow/node.h | |
| parent | 1545deb41194b205c6aba4e940f3db56cdec795f (diff) | |
| download | binaryen-fd9d04ccd615b185e65a765e3587eae3f72aa867.tar.gz binaryen-fd9d04ccd615b185e65a765e3587eae3f72aa867.tar.bz2 binaryen-fd9d04ccd615b185e65a765e3587eae3f72aa867.zip | |
Liveness Analysis Proof of Concept (#5771)
This introduces a limited monotone flow-sensitive liveness analysis on local indices as an initial proof of concept for the creation of a monotone flow-sensitive static analysis framework. Tests are included in test/gtest/cfg.cpp.
Diffstat (limited to 'src/dataflow/node.h')
0 files changed, 0 insertions, 0 deletions