This is the dataset for the ICSE 2020 Demo submission "Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart Contracts".
- table1: data used in Table 1, including all contracts from benchmarks [4,5] in the paper and runtime logs generated by all analyzers.
- table2: constracts and json files generated by Seraph as used in Table 2.