├── .gitignore ├── RBSM_legacy.py ├── README.md ├── abi.py ├── config.yaml ├── fuzzer.py ├── node.py ├── requirements.txt ├── strategy.py ├── tests ├── constants_test.sol ├── coverage_test.sol ├── invariant_breaker.sol └── swarm_test.sol └── utils.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/.gitignore -------------------------------------------------------------------------------- /RBSM_legacy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/RBSM_legacy.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/README.md -------------------------------------------------------------------------------- /abi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/abi.py -------------------------------------------------------------------------------- /config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/config.yaml -------------------------------------------------------------------------------- /fuzzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/fuzzer.py -------------------------------------------------------------------------------- /node.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/node.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/requirements.txt -------------------------------------------------------------------------------- /strategy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/strategy.py -------------------------------------------------------------------------------- /tests/constants_test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/tests/constants_test.sol -------------------------------------------------------------------------------- /tests/coverage_test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/tests/coverage_test.sol -------------------------------------------------------------------------------- /tests/invariant_breaker.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/tests/invariant_breaker.sol -------------------------------------------------------------------------------- /tests/swarm_test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/tests/swarm_test.sol -------------------------------------------------------------------------------- /utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jat9292/fuzzing-like-a-smarter-degen/HEAD/utils.py --------------------------------------------------------------------------------