Alternatives and similar repositories for amazon-codeguru-java-detectors

Users that are interested in amazon-codeguru-java-detectors are comparing it to the libraries listed below

• aws-samples / amazon-codeguru-python-detectors
  Python code examples for Amazon CodeGuru Reviewer
  ☆24Updated last year
• aws / aws-codeguru-cli
  Command line wrapper to interact with CodeGuru Reviewer
  ☆23Updated 10 months ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆153Updated last week
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆43Updated 4 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• TruX-DTF / findbugs-violations
  ☆14Updated 2 years ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆79Updated 3 months ago
• bugs-dot-jar / bugs-dot-jar
  Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair
  ☆56Updated 7 years ago
• TruX-DTF / TBar
  Template-based Automated Program Repair
  ☆47Updated last year
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆36Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆62Updated 3 years ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆100Updated 9 months ago
• Spirals-Team / defects4j-repair
  Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
  ☆35Updated 3 years ago
• PPPI / Flexeme
  This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…
  ☆11Updated last month
• stg-tud / MUBench
  ☆58Updated last year
• uw-pluverse / pluverse-latex-style-guide
  ☆26Updated 3 months ago
• gitbugactions / gitbug-java
  A Reproducible Benchmark of Recent Java Bugs
  ☆38Updated 2 months ago
• program-repair / defects4j-dissection
  Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset
  ☆67Updated last year
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆81Updated 10 months ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆93Updated 3 weeks ago
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆92Updated 3 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆228Updated 3 weeks ago
• wala / WALA-start
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Updated 7 months ago
• wala / ML
  ☆26Updated last week
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆72Updated 7 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• CGCL-codes / PathEval
  This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…
  ☆33Updated 4 months ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆30Updated last week
• kupl / PyTER
  ☆15Updated last year
• hub-se / BeDivFuzz
  ☆16Updated last week