https://marutisuzukiarea.com/consensys-releases-fuzzing-tool-to-test-smart-contract-vulnerabilities/