Repositories list

• DAFL

  Public
  american fuzzy lop - a security-oriented fuzzer

  C

  •

  Apache License 2.0

  •651•0•0•1•Updated Nov 14, 2024Nov 14, 2024

• trio

  Public
  OCaml

  •0•5•1•0•Updated Nov 12, 2024Nov 12, 2024

• trio_artifacts

  Public
  OCaml

  •

  MIT License

  •0•0•0•0•Updated Aug 5, 2024Aug 5, 2024

• juliet-test-suite-c

  Public
  C

  •51•0•0•0•Updated Jun 5, 2024Jun 5, 2024

• sparrow

  Public
  OCaml

  •

  Other

  •2•0•0•0•Updated Apr 17, 2024Apr 17, 2024

• ocaml_syncor

  Public
  ocaml_syncor made by wangao

  Python

  •0•0•0•0•Updated Jan 23, 2024Jan 23, 2024

• Danmuji

  Public
  Daikon input file-compatible invariant detector

  BlitzBasic

  •0•0•0•0•Updated Jan 16, 2024Jan 16, 2024

• DAFL-artifact

  Public
  Python

  •6•0•0•0•Updated Dec 14, 2023Dec 14, 2023

• ManyBugs

  Public
  Python

  •7•0•0•0•Updated Apr 2, 2023Apr 2, 2023

• angelix

  Public
  Semantic program repair system for C programs

  Java

  •

  MIT License

  •38•0•0•0•Updated Aug 22, 2022Aug 22, 2022

• MBA-Blast

  Public
  MBA-Blast is a tool for simplification of MBA expressions.

  Python

  •6•0•0•0•Updated Aug 6, 2021Aug 6, 2021