List view

• RELEASE 1 - Cairo-fuzzer V1

  Release of Seth V1. Here are the main features: - Run cairo contract - Run cairo contract with hints implemented in cairo-rs - Replay fuzzing corpus - Minimize fuzzing corpus - Load all corpus - Use old corpus as a dictionary if the prototype of the function changed - TODO - Handle multiple arguments - Load a folder of inputs/crashes files - CLI - Run Cairo-fuzzer using a config file instead of CLI - Workspace architecture

  Due by December 22, 2022

  •1/1 issues closed
  100% complete0 open1 closed

• MVP 2.2 - Corpus replay

  No due date

  •2/2 issues closed
  100% complete0 open2 closed

• MVP 2.1 - corpus minimization

  No due date

  •2/2 issues closed
  100% complete0 open2 closed

• MVP 3.1 - Input mutation

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• MVP 2.0 - coverage guided fuzzer

  Fuzzer is improved by monitoring execution and coverage report can be generated

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• MVP 1.0 - smart cairo fuzzer (also usable as library)

  In this milestone, we want to have a working fuzzer for local files, generate dynamically inputs and provide cairo-fuzzer as a library for projects like cairo-foundry

  No due date

  •4/4 issues closed
  100% complete0 open4 closed

• PoC - simple/dumb cairo fuzzer

  Minimal PoC using libafl

  No due date

  •5/5 issues closed
  100% complete0 open5 closed