1. All benchmarks and Raw Results are saved and under ISSTA2022
2. Prototype (SPCON): binary. (System requirements: Ubuntu 20.04; Python3.8; X86_64 platform.)
3. Demo Application: Permission bug detection of VIT contract at address 0x17e5...29f5 using the below command.
Running Phase 1. Mine the role structures from historical transactions of VIT contract.
Running Phase 2. Permission bug detection. Attack sequence [VitToken].