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 last year
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆165Updated this week
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆37Updated last year
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆83Updated 9 months ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago
• bugs-dot-jar / bugs-dot-jar
  Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair
  ☆58Updated 7 years ago
• stg-tud / MUBench
  ☆59Updated 2 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 5 months ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆71Updated 2 years ago
• gitbugactions / gitbug-java
  A Reproducible Benchmark of Recent Java Bugs
  ☆44Updated 4 months ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated 2 years ago
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆44Updated 5 years ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆115Updated 4 months ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆86Updated last year
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆75Updated last year
• TruX-DTF / TBar
  Template-based Automated Program Repair
  ☆54Updated last year
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆243Updated this week
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆102Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆64Updated 4 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆187Updated 4 years ago
• program-repair / defects4j-dissection
  Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset
  ☆67Updated 2 years ago
• squaresLab / genprog4java
  ☆18Updated last year
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆33Updated this week
• DehengYang / TransplantFix
  ☆14Updated 2 years ago
• Spirals-Team / defects4j-repair
  Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
  ☆36Updated last month
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆20Updated 3 years ago
• uw-pluverse / pluverse-latex-style-guide
  ☆26Updated 2 months ago
• Suresoft-GLaDOS / bugscpp
  A database of real-world C/C++ defaults to experiment in software engineering research
  ☆59Updated last year
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆70Updated 2 months ago