aws / aws-codeguru-cli
Command line wrapper to interact with CodeGuru Reviewer
☆22Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for aws-codeguru-cli
- Python code examples for Amazon CodeGuru Reviewer☆23Updated 6 months ago
- Java code examples for Amazon CodeGuru Reviewer☆22Updated 11 months ago
- A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.☆10Updated 2 years ago
- ☆19Updated last week
- AWS Encryption SDK for Dafny☆34Updated this week
- Java Ranger is a path-merging extension of Symbolic PathFinder☆13Updated 3 weeks ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11Updated 5 years ago
- ☆86Updated 9 months ago
- ☆26Updated 2 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 6 years ago
- ☆16Updated this week
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Litani metabuild system☆19Updated last year
- ☆23Updated 3 years ago
- Automated program repair bibliography, tools and benchmarks.☆77Updated this week
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- ☆26Updated 3 weeks ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated 2 months ago
- Symbolic PathFinder☆130Updated last month
- Python bindings for yices2☆9Updated 2 years ago
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- Bit-bLAsting solving Non-linear integer constraints.☆17Updated 4 months ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆44Updated last month
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆227Updated this week
- KLEE with floating point support (unmaintained)☆18Updated 2 years ago
- A framework for testing compilers' type checkers☆17Updated last week
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago