Results 2 repositories owned by Bo Jiang

ContractFuzzer

171
Stars
82
Forks
Watchers

The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)

WANA

21
Stars
6
Forks
Watchers

A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector