open-crs/vulnerability_detection

Issues

• Symbolic Execution for vulnerability detection

  #12 opened 2 years ago by circeanubogdan
  0

• Pairwise testing of arguments

  #1 opened 2 years ago by iosifache
  0

• LibAFL integration for fuzzing pipelines customization

  #10 opened 2 years ago by iosifache
  0

• Integration with OSSF's Fuzz introspector

  #11 opened 2 years ago by iosifache
  0

• Usage of AFL++ persistent mode

  #9 opened 2 years ago by iosifache
  0

• Fuzzing networking via sockets

  #8 opened 2 years ago by iosifache
  0

• Fuzzing-related statistics extraction

  #7 opened 2 years ago by iosifache
  0

• Cold-spots (! hot-spot) analysis

  #6 opened 2 years ago by iosifache
  0

• Differences analysis between different versions of a software

  #5 opened 2 years ago by iosifache
  0

• Distributed agents for crash reporting

  #4 opened 2 years ago by iosifache
  0

• Timeout or coverage convergence heuristic for stopping the fuzzing session

  #3 opened 2 years ago by iosifache
  0

• ASan setup for dynamic instrumentation (maybe with QBDI)

  #2 opened 2 years ago by iosifache
  0