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

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

• aws-samples / amazon-codeguru-java-detectors
  Java code examples for Amazon CodeGuru Reviewer
  ☆23Updated last year
• aws / aws-codeguru-cli
  Command line wrapper to interact with CodeGuru Reviewer
  ☆23Updated 9 months ago
• aws-actions / codeguru-reviewer
  ☆86Updated last year
• aws-samples / amazon-codeguru-reviewer-sample-app
  ☆33Updated 9 months ago
• awslabs / aws-crypto-policy-compliance-checker
  A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
  ☆10Updated 3 years ago
• awslabs / typecart
  ☆22Updated 6 months ago
• aws / aws-encryption-sdk
  AWS Encryption SDK
  ☆49Updated 3 weeks ago
• wala / ML
  ☆26Updated this week
• PPPI / Flexeme
  This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…
  ☆11Updated last week
• 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
• awslabs / aws-build-accumulator
  Litani metabuild system
  ☆19Updated last year
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆38Updated 3 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated 2 years ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated last week
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆22Updated last week
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆18Updated last year
• aws-samples / aws-iam-identity-center-pipeline
  ☆20Updated 4 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• petablox / petablox
  Main distribution of Petablox
  ☆35Updated 7 years ago
• tomgu1991 / IMChecker
  An automatic API misuse checker for C programs!
  ☆19Updated 6 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 3 years ago
• applicationdesignframework / applicationdesignframework.github.io
  Ship Faster
  ☆25Updated 3 weeks ago
• LASER-UMASS / AutomatedRepairApplicabilityData
  Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.
  ☆13Updated 7 years ago
• hub-se / BeDivFuzz
  ☆16Updated 3 months ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years 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…
  ☆70Updated 6 months ago
• gitbugactions / gitbug-java
  A Reproducible Benchmark of Recent Java Bugs
  ☆38Updated last month
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆35Updated last year