Alternatives and similar repositories for DeepFuzzSL:

Users that are interested in DeepFuzzSL are comparing it to the libraries listed below

• havrikov / covering-input-structure
  Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
  ☆9Updated last year
• isstac / badger
  ☆20Updated 6 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 4 years ago
• s3team / DeepFuzz
  ☆23Updated 4 years ago
• wzh99 / GenCoG
  GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)
  ☆15Updated last year
• MCFuzzer / MCFuzz
  Finding and Understanding Bugs in Software Model Checkers
  ☆8Updated 6 years ago
• neu-se / CONFETTI
  ☆21Updated 2 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• ForeverZyh / DEBAR
  This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…
  ☆26Updated 4 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆75Updated this week
• sola-da / StaticBugCheckers
  StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…
  ☆11Updated 6 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• wala / ML
  ☆26Updated last month
• stan6 / se-paper
  ☆74Updated 2 years ago
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 3 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 4 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• Practical-Formal-Methods / tailor
  Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
  ☆20Updated 3 years ago
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• twelveand0 / CarrotsBlender
  holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…
  ☆20Updated 4 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 6 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• VulnLoc / VulnLoc
  ☆27Updated 3 years ago
• HexHive / fuzzing-seed-selection
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Updated 2 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• Ljiee / fairfuzz
  ☆14Updated 7 years ago
• jordiae / exebench
  ☆33Updated 2 years ago
• eth-sri / learch
  ☆39Updated last year