Artur Cygan
Artur Cygan
### Describe the desired feature This should be a fairly simple task because source maps already return offset and length of the expression in the source. We do line coverage...
If we have a single target path and detect `foundry.toml` we try running forge if installed. Fall back to the old way with crytic-compile otherwise.
This changes the CLI interface of Echidna by adding `echidna init` command that generates a sample `echidna.yaml` config and moves the current fuzzing interface to `echidna fuzz ...` command: ```...
A quick PoC that breaks this contract (included in tests): ```solidity contract VulnerableContract { function func_one(int256 x) public pure { if (x / 4 == -20) { assert(false); // BUG...
This commit consists of fuzzing improvements as part of Trail of Bits audit that we want to contribute. Summary of changes: - harnesses moved from oss-fuzz to this repository -...
The package doesn't build on GHC 9.6+. I think this is mainly due to galois-field and elliptic-curve dependencies and I wasn't sure how to fix them.
It would be good to have a help dialog on `h`. It should show all keyboard shortcuts: - `f` - contracts/slots fetch dialog - `t` - toggle tests pane -...
Brick supports Windows as of version 2.0 - https://github.com/jtdaugherty/brick/blob/master/CHANGELOG.md#20. This requires bumping deps, blocked on https://github.com/NixOS/nixpkgs/pull/279413
Fix typo
There was a high contention while shrinking with multiple workers at the same time. This locks shrinking to the same worker which solved the test. Fixes https://github.com/crytic/echidna/issues/1105. Changes and implications:...