Cairo fuzzer inputs - Githubissues

FuzzingLabs / thoth

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

https://fuzzinglabs.com/

GNU Affero General Public License v3.0

245 stars 21 forks source link

Closed Rog3rSm1th closed 1 year ago

Rog3rSm1th commented 1 year ago

Implements an input generator for the Cairo fuzzer. it can be run using the fuzzer analyzer.

thoth local ./tests/json_files/cairo_0/cairo_test_symbolic_execution_2.json -a fuzzer