Josef Gattermayer

Wake 5: A Python Framework for Solidity Testing, Fuzzing, and Static Analysis

Smart-contract fuzzers differ by an order of magnitude in throughput and by design in how they construct inputs, yet published comparisons rarely separate the two. We present Wake 5, an open-source Python framework for Solidity testing, fuzzing and static analysis, and use it to locate the binding constraint of statefu...