Alternatives and similar repositories for ACER:

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

• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated 11 months ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆121Updated last month
• vasumv / bonsai-fuzzing
  ☆27Updated last year
• wala / ML
  ☆26Updated last week
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆20Updated 2 weeks ago
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆17Updated 2 weeks ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆32Updated 3 weeks ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆65Updated 3 months ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆67Updated 2 months ago
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆18Updated 5 months 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…
  ☆38Updated last year
• BugSwarm / bugswarm
  ☆31Updated 2 weeks ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆41Updated 7 months ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• microsoft / codamosa
  ☆126Updated 2 months ago
• neu-se / CONFETTI
  ☆20Updated 2 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 3 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 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
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 9 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 3 years ago
• nettrino / slowfuzz
  ☆50Updated 7 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 2 years ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆30Updated last year
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• SecurityLab-UCD / LLAMAFUZZ
  Fine-tuning a LLM for generating the structured data
  ☆14Updated 2 months ago
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆35Updated 6 years ago