EthBMC icon indicating copy to clipboard operation
EthBMC copied to clipboard

verified publisher icon RUB-SysSec
→

Metadata

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

Results 2 EthBMC issues
Sort by recently updated
recently updated
newest added

How to configure ETHBMC to reduce timeout events

### Summary of the problem Hi, I ran a multiprocess script on top of ETHMBMC to analyze multiple smart contracts offline where a timeout of 30 minutes for each contract...

step-xiaoyu-ka avatar step-xiaoyu-ka

How to use on-chain analysis correctly in EthBMC

### Summary of the problem Hi, I used EthBMC for on chain contract address list analysis with the command: ``` /target/release/ethbmc --ip 127.0.0.1 --list -b 1 ./contract_list/contract_list9-4.txt ``` where `contract_list9-4.txt`...

step-xiaoyu-ka avatar step-xiaoyu-ka

← Metadata

90
Stars
11
Forks
Watchers

Owner

verified publisher icon RUB-SysSec

Metadata

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

Back