svf-tools
Version:
* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.
11 lines • 386 B
Plain Text
Start:
V
Terminal:
addr copy store load gep
Productions:
F -> ( copy M ? ) *;
Fbar -> ( M ? copybar ) *;
M -> addr V addrbar;
V -> Fbar V F | gepbar_i V gep_i | M | epsilon | gepbar_i Memcpy gep_i | gep_i Memcpy gepbar_i | ArrayPath V gep_0;
ArrayPath -> gepbar_0 gepbar_0 | ArrayPath gepbar_0;
Memcpy -> addrbar V addr | gep_i Memcpy gepbar_i | F Memcpy Fbar;