diff options
| author | Bruce He <44327446+zm2he@users.noreply.github.com> | 2023-06-29 20:16:40 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-29 16:16:40 -0400 |
| commit | 7b2e06aa3a0b6cef9568c3eab010a7187b9b6803 (patch) | |
| tree | 4408c424ab640f9534362784f3355db4981480b7 /src/tools/wasm-metadce.cpp | |
| parent | 84316e8fc3448932c4d62d1e749047aaacf02ef2 (diff) | |
| download | binaryen-7b2e06aa3a0b6cef9568c3eab010a7187b9b6803.tar.gz binaryen-7b2e06aa3a0b6cef9568c3eab010a7187b9b6803.tar.bz2 binaryen-7b2e06aa3a0b6cef9568c3eab010a7187b9b6803.zip | |
Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784)
This change introduces a finite-height powerset lattice FinitePowersetLattice where each element's height is determined when constructed in runtime. This is implemented using a vector of `bools. This change also modifies BlockState and MonotoneCFGAnalyzer to be templated on a generic lattice type instead of using a hardcoded lattice. It additionally fixes an iterator bug in MonotoneCFGAnalyzer::fromCFG which assigned a temporary iterator object as predecessor and successor pointers to BlockStates instead of pointers to actual BlockState objects.
Diffstat (limited to 'src/tools/wasm-metadce.cpp')
0 files changed, 0 insertions, 0 deletions