echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Fri 16 Jul 2021 09:05 - 09:40 at ISSTA Demos - ISSTA Tool Demos (Live Discussion) 3 Chair(s): Michael Pradel
Echidna is a widely used fuzzer for Ethereum Virtual Machine (EVM) compatible blockchain smart contracts that generates \emph{transaction sequences} of calls to smart contracts. While Echidna is an essentially single-threaded tool, it is possible for multiple Echidna processes to communicate by use of a shared transaction sequence corpus. Echidna provides a very large variety of configuration options, since each smart contract may be best-tested by a non-default configuration, and different faults or coverage targets within a single contract may also have differing ideal configurations. This paper presents \emph{echidna-parade}, a tool that provides pushbutton multicore fuzzing using Echidna as an underlying fuzzing engine, and automatically provides sophisticated diversification of configurations. Even without using multiple cores, \emph{echidna-parade} can improve the effectiveness of fuzzing with Echidna, due to the advantages provided by multiple types of test configuration diversity. Using \emph{echidna-parade} with multiple cores can produce significantly better results than Echidna, in less time.
Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
18:05 - 18:40 | ISSTA Tool Demos (Live Discussion) 1Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
18:05 35mLive Q&A | RESTest: Automated Black-Box Testing of RESTful Web APIs Tool Demonstrations Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville | ||
18:05 35mLive Q&A | C4: the C Compiler Concurrency Checker Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London | ||
18:05 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
18:05 35mLive Q&A | SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University | ||
18:05 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations |
Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:05 - 09:40 | ISSTA Tool Demos (Live Discussion) 3Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
09:05 35mLive Q&A | SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University | ||
09:05 35mLive Q&A | TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Tool Demonstrations Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University | ||
09:05 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations | ||
09:05 35mLive Q&A | C4: the C Compiler Concurrency Checker Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London | ||
09:05 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
09:05 35mLive Q&A | MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services Tool Demonstrations Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia |