optik
optik copied to clipboard
crytic
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
All of our PyPI-packaged projects should use trusted publishing, rather than a manually configured API token. Example trusted publishing workflow: https://github.com/trailofbits/blight/blob/master/.github/workflows/release.yml Resources: * https://docs.pypi.org/trusted-publishers/ * https://packaging.python.org/en/latest/guides/publishing-package-distribution-releases-using-github-actions-ci-cd-workflows/
Due to the change in the executable name in the [Echidna 2.1.0 Release](https://github.com/crytic/echidna/releases/tag/v2.1.0), hybrid-echidna seems to be broken. This PR: - updates the executable name in the `runner.py` - updates...
I'm trying to compare Hybrid-Echidna with Echidna and the Forge fuzzer on several benchmark contracts. To make the comparison as fair as possible, I've created a benchmark generator that automatically...
**Describe the bug** I would like to run the hybrid fuzzer for a fixed amount of time (for instance, one hour). It would be great if this was possible (just...
**Describe the bug** `hybrid-echidna` crashes my machine since with each new iteration (i.e., echidna campaign) the memory usage grows rapidly. I could increase the amount of RAM or swap available...
**Describe the bug** The json format has changed with echidna-test v2.0.5. There is also an additional log line in the output preceding the json. Optik cannot handle either. **To Reproduce**...
**Describe the bug** It runs `echidna` for about 2 minutes and then crashes. **To Reproduce** Sadly I cannot share my environment. I could narrowing things down with some guidance. **Additional...
**Describe the bug** Hybrid echidna doesn't correctly updates the target contract balance when running a transaction with non null `value`
