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
Alternatives and similar repositories for aws-crypto-policy-compliance-checker:
Users that are interested in aws-crypto-policy-compliance-checker are comparing it to the libraries listed below
- A constraint solver abstraction layer for Java☆21Updated last year
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- AWS Encryption SDK☆43Updated this week
- ☆21Updated 3 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 8 months ago
- KLEE with floating point support (unmaintained)☆18Updated 3 years ago
- ☆26Updated last month
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆34Updated 3 weeks ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆13Updated 3 months ago
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- ☆24Updated 3 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- A model checker for infinite-state systems.☆74Updated 3 months ago
- AE-solver and Skolemizer☆16Updated 3 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated 5 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆13Updated 4 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆89Updated 10 months ago
- PC-miner tool for program chairs☆26Updated last week
- ☆24Updated 10 years ago
- SMTInterpol interpolating SMT solver☆63Updated last month
- A framework for testing compilers' type checkers☆17Updated 4 months ago
- StarExec is a cross community logic solving service☆17Updated 9 months ago
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago