Alternatives and similar repositories for aws-codeguru-cli

Users that are interested in aws-codeguru-cli 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-samples / amazon-codeguru-python-detectors
  Python code examples for Amazon CodeGuru Reviewer
  ☆24Updated last year
• aws / aws-encryption-sdk
  AWS Encryption SDK
  ☆49Updated 3 weeks ago
• awslabs / typecart
  ☆22Updated 6 months ago
• vaibhavbsharma / java-ranger
  Java Ranger is a path-merging extension of Symbolic PathFinder
  ☆13Updated 5 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
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated 4 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆56Updated this week
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆12Updated 2 years ago
• aws-samples / amazon-codeguru-reviewer-sample-app
  ☆32Updated 9 months ago
• caterinaurban / Libra
  ☆25Updated 3 years ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆86Updated 4 months ago
• aws-actions / codeguru-reviewer
  ☆86Updated last year
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆60Updated last year
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆221Updated this week
• loonwerks / formal-methods-workbench
  ☆19Updated 2 years ago
• kupl / npex
  ☆15Updated last year
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 3 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated 2 months ago
• awslabs / aws-build-accumulator
  Litani metabuild system
  ☆19Updated last year
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated 3 weeks ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated last week
• secure-software-engineering / ideal
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Updated 7 years ago
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆35Updated last year
• xqyww123 / phi-system
  ☆9Updated 2 months ago