dxo
dxo
Still very much WIP (and currently based off a pretty outdated commit). This PR introduces a coverage guided / mutation based approach to fuzzing. All fuzz tests are now run...
Currently using `hevm` often involves a lot of tedious and repetitive stepping to get to the part of the code that you care about. It would be awesome to be...
The abi parser in hevm does not currenlty support tuple types ([ref](https://github.com/dapphub/dapptools/blob/1729e1d87319fc0112e18536d9bc600cb1f3f623/src/hevm/src/EVM/ABI.hs#L511)). We need to implement this to be able to handle tuple types for `seth sig` and `seth calldata`.
Run `seth bundle-source 0x374ABb8cE19A73f2c4EFAd642bda76c797f19233` (on linux only?) and you will see: ```sh /nix/store/cicalla8af9c2aj1f5i52zj3r6imscph-seth-0.11.0/libexec/seth/seth-bundle-source: line 37: /nix/store/cicalla8af9c2aj1f5i52zj3r6imscph-seth-0.11.0/libexec/seth/seth: Argument list too long ``` Seems likely that [this](https://stackoverflow.com/questions/26268969/argument-list-too-long-for-every-command/26270155#26270155) is the root cause.
## Description This adds a simple [mutation testing](https://en.wikipedia.org/wiki/Mutation_testing) framework to dapptools based on [`universalmutator`](https://github.com/agroce/universalmutator). Mutation testing can be thought of as a kind of reverse fuzzing, where instead of generating...
## Description I *think* this fixes https://github.com/dapphub/dapptools/issues/686, but since the source map format and parser are very mysterious to me I'm not really sure that I've done the right thing....
This test fails with `hevm: unexpected symbolic argument`: ```solidity function proveSmth(uint x, uint y) public {} ``` This one doesn't :thinking: ```solidity function proveSmth(uint x) public {} ``` Both run...
## Description `seth --use` and `dapp --use` will now find copies of `solc` that have been installed systemwide from `solc-versions` or `solc-static-versions` on nixos systems, as well as the imperitive...
If I call `seth --to-fix` with a large number, and a `` arg that is larger than the number of digits in the input I get an error from printf:...
As discussed in https://github.com/dapphub/dapptools/issues/715#issuecomment-890358156 , this modifies dapp remappings so that it now generates a unique set of remappings for each `src` folder in the dependency tree that points into...