[xiphias2]

Is this the fuzzing tool that was used to find bugs in Bitcoin? I don't see it in the repository.

[metzmanj]

I don't think so.

But solidity was recently added to OSS-Fuzz: https://github.com/google/oss-fuzz/tree/master/projects/soli...