Alternatives and similar repositories for learn2fix

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

• patchloc / VulnLoc
  ☆12Updated 4 years ago
• 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
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 years ago
• squaresLab / SemanticCrashBucketing
  Semantic Crash Bucketing
  ☆15Updated 4 years ago
• buszk / drifuzz-concolic
  ☆12Updated 3 years ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 4 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• VulnLoc / VulnLoc
  ☆29Updated 3 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆14Updated 3 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 years ago
• csienslab-PCC / PathConstraintClassifier
  ☆9Updated 6 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• RUB-SysSec / PrimGen
  ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers
  ☆15Updated 6 years ago
• vrthra / F1
  ☆82Updated 9 months ago
• carter-yagemann / barnum-tracer
  The PT tracing portion of Barnum.
  ☆11Updated 6 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 7 months ago
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 4 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆57Updated 6 years ago
• Ljiee / fairfuzz
  ☆14Updated 7 years ago
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆29Updated 2 years ago
• AFLplusplus / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆8Updated last year
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• kupl / ParaDySE
  ☆33Updated 6 years ago
• SunLab-GMU / PatchDB
  The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…
  ☆41Updated last year