cairo-fuzzer
cairo-fuzzer copied to clipboard
FuzzingLabs
Cairo/Starknet smart contract fuzzer
add --address command line that allows the user to fuzz a deployed contract by scrapping it localy
Add support of cairo1.0 and deserialization of SIerra program.
- [x] list all callable functions and arguments - [ ] generate a sequence of transactions/function calls - [ ] run them on the same VM with internal context that...
Is it possible to execute in the same context ?
similar to echidna: https://github.com/crytic/echidna/releases/tag/v2.0.4
- [ ] use thoth to get interesting variable/constant - [ ] use thoth exec symbolic to generate inputs
This PR integrates the `test-generator` binary into the cairo-fuzzer repository. It also adds the sierra-analyzer repository as a git submodule to use it as a dependency.
