Blockchain security, smart contract auditing & general security tooling. Blog: https://neversecure.ca
- Toronto, ON
- https://www.linkedin.com/in/daniel-h/
Pinned Loading
-
-
echidna-auto-gen
echidna-auto-gen PublicScript that parses solidity contracts and constructs echidna test cases based on properties in the smart contract.
Python
-
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.