├── .github └── workflows │ └── rust.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── Makefile ├── README.md ├── cairo-fuzzer.png ├── cairo-native-fuzzer ├── .gitignore ├── Cargo.toml ├── README.md ├── doc │ ├── cairo_fuzzer_demo.png │ └── property_testing.png ├── examples │ ├── cairo │ │ ├── echo.cairo │ │ ├── fuzzinglabs.cairo │ │ └── proptesting.cairo │ └── sierra │ │ ├── hello_starknet__hello_starknet.contract_class.json │ │ └── zklend_fuzzing.json ├── install.sh └── src │ ├── custom_rand │ ├── mod.rs │ └── rng.rs │ ├── fuzzer │ ├── fuzzer.rs │ ├── mod.rs │ ├── statistics.rs │ └── utils.rs │ ├── main.rs │ ├── mutator │ ├── argument_type.rs │ ├── basic_mutator.rs │ ├── magic_values.rs │ └── mod.rs │ ├── runner │ ├── mod.rs │ ├── runner.rs │ └── syscall_handler.rs │ └── utils.rs ├── docs ├── TUTO101.md ├── USAGE.md ├── crash.png └── fuzzer_running.png ├── scripts ├── Cargo.toml └── src │ └── main.rs ├── setup.sh ├── src ├── cli │ ├── args.rs │ ├── config.rs │ └── mod.rs ├── custom_rand │ ├── mod.rs │ └── rng.rs ├── fuzzer │ ├── corpus_crash.rs │ ├── corpus_input.rs │ ├── dict.rs │ ├── fuzzer.rs │ ├── mod.rs │ ├── starknet_worker.rs │ ├── stats.rs │ └── utils.rs ├── json │ ├── json_parser.rs │ └── mod.rs ├── lib.rs ├── main.rs ├── mutator │ ├── magic_values.rs │ ├── mod.rs │ └── mutator_felt252.rs └── runner │ ├── mod.rs │ ├── runner.rs │ └── starknet_runner.rs ├── test-generator ├── Cargo.toml ├── README.md └── src │ └── main.rs └── tests1.0 ├── config.json ├── dict ├── fuzzinglabs.cairo ├── fuzzinglabs.casm ├── fuzzinglabs.json ├── fuzzinglabs_fuzz.cairo ├── fuzzinglabs_fuzz.casm ├── fuzzinglabs_fuzz.json ├── fuzzinglabs_init.cairo ├── fuzzinglabs_init.casm ├── fuzzinglabs_init.json ├── fuzzinglabs_starknet_2023-04-04--12:38:47.json ├── test_symbolic_execution_2022-12-22--10:18:57.json ├── teststorage.cairo ├── teststorage.casm └── teststorage.json /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/README.md -------------------------------------------------------------------------------- /cairo-fuzzer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-fuzzer.png -------------------------------------------------------------------------------- /cairo-native-fuzzer/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/.gitignore -------------------------------------------------------------------------------- /cairo-native-fuzzer/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/Cargo.toml -------------------------------------------------------------------------------- /cairo-native-fuzzer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/README.md -------------------------------------------------------------------------------- /cairo-native-fuzzer/doc/cairo_fuzzer_demo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/doc/cairo_fuzzer_demo.png -------------------------------------------------------------------------------- /cairo-native-fuzzer/doc/property_testing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/doc/property_testing.png -------------------------------------------------------------------------------- /cairo-native-fuzzer/examples/cairo/echo.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/examples/cairo/echo.cairo -------------------------------------------------------------------------------- /cairo-native-fuzzer/examples/cairo/fuzzinglabs.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/examples/cairo/fuzzinglabs.cairo -------------------------------------------------------------------------------- /cairo-native-fuzzer/examples/cairo/proptesting.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/examples/cairo/proptesting.cairo -------------------------------------------------------------------------------- /cairo-native-fuzzer/examples/sierra/hello_starknet__hello_starknet.contract_class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/examples/sierra/hello_starknet__hello_starknet.contract_class.json -------------------------------------------------------------------------------- /cairo-native-fuzzer/examples/sierra/zklend_fuzzing.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/examples/sierra/zklend_fuzzing.json -------------------------------------------------------------------------------- /cairo-native-fuzzer/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/install.sh -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/custom_rand/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod rng; 2 | -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/custom_rand/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/custom_rand/rng.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/fuzzer/fuzzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/fuzzer/fuzzer.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/fuzzer/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/fuzzer/mod.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/fuzzer/statistics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/fuzzer/statistics.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/fuzzer/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/fuzzer/utils.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/main.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/mutator/argument_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/mutator/argument_type.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/mutator/basic_mutator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/mutator/basic_mutator.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/mutator/magic_values.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/mutator/magic_values.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/mutator/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/mutator/mod.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/runner/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/runner/mod.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/runner/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/runner/runner.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/runner/syscall_handler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/runner/syscall_handler.rs -------------------------------------------------------------------------------- /cairo-native-fuzzer/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/cairo-native-fuzzer/src/utils.rs -------------------------------------------------------------------------------- /docs/TUTO101.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/docs/TUTO101.md -------------------------------------------------------------------------------- /docs/USAGE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/docs/USAGE.md -------------------------------------------------------------------------------- /docs/crash.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/docs/crash.png -------------------------------------------------------------------------------- /docs/fuzzer_running.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/docs/fuzzer_running.png -------------------------------------------------------------------------------- /scripts/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/scripts/Cargo.toml -------------------------------------------------------------------------------- /scripts/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/scripts/src/main.rs -------------------------------------------------------------------------------- /setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/setup.sh -------------------------------------------------------------------------------- /src/cli/args.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/cli/args.rs -------------------------------------------------------------------------------- /src/cli/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/cli/config.rs -------------------------------------------------------------------------------- /src/cli/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/cli/mod.rs -------------------------------------------------------------------------------- /src/custom_rand/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod rng; 2 | -------------------------------------------------------------------------------- /src/custom_rand/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/custom_rand/rng.rs -------------------------------------------------------------------------------- /src/fuzzer/corpus_crash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/fuzzer/corpus_crash.rs -------------------------------------------------------------------------------- /src/fuzzer/corpus_input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/fuzzer/corpus_input.rs -------------------------------------------------------------------------------- /src/fuzzer/dict.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/fuzzer/dict.rs -------------------------------------------------------------------------------- /src/fuzzer/fuzzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/fuzzer/fuzzer.rs -------------------------------------------------------------------------------- /src/fuzzer/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/fuzzer/mod.rs -------------------------------------------------------------------------------- /src/fuzzer/starknet_worker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/fuzzer/starknet_worker.rs -------------------------------------------------------------------------------- /src/fuzzer/stats.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/fuzzer/stats.rs -------------------------------------------------------------------------------- /src/fuzzer/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/fuzzer/utils.rs -------------------------------------------------------------------------------- /src/json/json_parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/json/json_parser.rs -------------------------------------------------------------------------------- /src/json/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod json_parser; 2 | -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/mutator/magic_values.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/mutator/magic_values.rs -------------------------------------------------------------------------------- /src/mutator/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/mutator/mod.rs -------------------------------------------------------------------------------- /src/mutator/mutator_felt252.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/mutator/mutator_felt252.rs -------------------------------------------------------------------------------- /src/runner/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/runner/mod.rs -------------------------------------------------------------------------------- /src/runner/runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/runner/runner.rs -------------------------------------------------------------------------------- /src/runner/starknet_runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/src/runner/starknet_runner.rs -------------------------------------------------------------------------------- /test-generator/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/test-generator/Cargo.toml -------------------------------------------------------------------------------- /test-generator/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/test-generator/README.md -------------------------------------------------------------------------------- /test-generator/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/test-generator/src/main.rs -------------------------------------------------------------------------------- /tests1.0/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/config.json -------------------------------------------------------------------------------- /tests1.0/dict: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/dict -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs.cairo -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs.casm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs.casm -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs.json -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs_fuzz.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs_fuzz.cairo -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs_fuzz.casm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs_fuzz.casm -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs_fuzz.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs_fuzz.json -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs_init.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs_init.cairo -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs_init.casm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs_init.casm -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs_init.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs_init.json -------------------------------------------------------------------------------- /tests1.0/fuzzinglabs_starknet_2023-04-04--12:38:47.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/fuzzinglabs_starknet_2023-04-04--12:38:47.json -------------------------------------------------------------------------------- /tests1.0/test_symbolic_execution_2022-12-22--10:18:57.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/test_symbolic_execution_2022-12-22--10:18:57.json -------------------------------------------------------------------------------- /tests1.0/teststorage.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/teststorage.cairo -------------------------------------------------------------------------------- /tests1.0/teststorage.casm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/teststorage.casm -------------------------------------------------------------------------------- /tests1.0/teststorage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/cairo-fuzzer/HEAD/tests1.0/teststorage.json --------------------------------------------------------------------------------