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 last year
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆17Updated last month
• vasumv / bonsai-fuzzing
  ☆27Updated 2 years ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆126Updated 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…
  ☆69Updated 4 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…
  ☆40Updated last year
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆18Updated 6 months ago
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆21Updated 2 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆44Updated 8 months ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 4 years ago
• microsoft / codamosa
  ☆132Updated 4 months ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• hub-se / BeDivFuzz
  ☆15Updated last month
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆33Updated 3 weeks 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
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆34Updated last year
• dmc1778 / Orion
  Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source
  ☆14Updated 10 months ago
• wala / ML
  ☆26Updated last month
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 4 years ago
• TQRG / secbench
  🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)
  ☆38Updated 2 years ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆31Updated last year
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆14Updated 3 years ago
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆100Updated 3 weeks ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• vandaltool / vandalir
  ☆24Updated 2 years ago
• rebibabo / static_program_analysis_by_tree_sitter
  ☆17Updated last month
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• niklasrisse / LimitsOfML4Vuln
  ☆26Updated last year