dapptools
dapptools copied to clipboard
dapphub
Dapp, Seth, Hevm, and more
The `--verbose` flag is kinda weird and has inconcistent semantics between the various test types at the moment. Ideally we would have two verbosity levels: 1. show traces & log...
It would be nice to have hevm integrated into the [FuzzyVM](https://github.com/MariusVanDerWijden/FuzzyVM) ([blog post](https://mariusvanderwijden.github.io/blog/2021/05/02/FuzzyVM/)) effort. The first step towards that would be implementing tracing output akin to [EIP-3155](https://eips.ethereum.org/EIPS/eip-3155).
[Concolic Execution](https://en.wikipedia.org/wiki/Concolic_testing) is a mixed symbolic / concrete fuzzing approach where we would leverage the path conditions generated from a symbolic execution along a single (randomly selected) branch in the...
We should keep a persistent dictionary of examples founds via fuzzing. Each time a new branch is explored we should save the calldata to the dictionary for use in future...
Or modify `hevm` to be able to deal with multiple solc json output files
Before sending a transaction, run `eth_call` and warn (and possibly prompt the user for confirmation) if the tx will fail
The following tests are failing with bad-balance, not sure what the cause is: - [x] randomStatetest647 (fixed by https://github.com/dapphub/dapptools/pull/636) - [x] multiOwnedRemoveOwner (fixed by https://github.com/dapphub/dapptools/pull/636) - [ ] walletRemoveOwnerRemovePending The...
recently, a couple of memory intensive tests started failing on ci with error message: ``` Return50000_d0g1v0_Istanbul hevm: internal error: Unable to commit 1048576 bytes of memory ``` although the error...