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
  ☆25Updated 2 years ago
• aws-samples / amazon-codeguru-python-detectors
  Python code examples for Amazon CodeGuru Reviewer
  ☆24Updated last year
• awslabs / typecart
  ☆23Updated last year
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆188Updated 4 years ago
• aws / aws-encryption-sdk
  AWS Encryption SDK
  ☆58Updated this week
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated this week
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆252Updated this week
• awslabs / aws-build-accumulator
  Litani metabuild system
  ☆19Updated 2 years ago
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆24Updated 4 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆166Updated last month
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆30Updated 2 weeks ago
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆12Updated 6 months ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago
• vaibhavbsharma / java-ranger
  Java Ranger is a path-merging extension of Symbolic PathFinder
  ☆15Updated 2 weeks ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆20Updated 3 years ago
• cuhk-s3 / Creal
  ☆36Updated 5 months ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆428Updated last week
• wala / ML
  ☆28Updated 2 weeks ago
• caterinaurban / Libra
  ☆24Updated 4 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆19Updated last year
• vlab-cs-ucsb / ABC
  ☆28Updated 8 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated last week
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 4 years ago
• ChunghaSung / intAbs
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11Updated 6 years ago
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆31Updated 11 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆230Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 6 months ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆17Updated 3 years ago
• thufv / Deagle
  ☆24Updated 2 months ago