WilfredTA/symbolic-stack-machines
Library for building symbolically executable stack-based virtual machines
Rust
Issues
- 0
Make Extension Environment Generic
#29 opened by WilfredTA - 0
- 0
Add storage module to optionally mixin
#6 opened by WilfredTA - 0
- 0
Enable optional symbolic length & content for VM code for dynamic-sized constructor args & immutables in EVM
#4 opened by WilfredTA - 0
Represent symbolic values & operations w/ in-memory "IR" for translation to z3-rs or smtlib2 formt
#3 opened by WilfredTA - 0
Enable partitioning of memory by address range & assigning permission to partitions
#2 opened by WilfredTA - 0