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
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- A constraint solver abstraction layer for Java☆21Updated last year
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated 2 years ago
- ☆21Updated 2 months ago
- ☆26Updated 2 weeks ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆25Updated 2 months ago
- AWS Encryption SDK☆42Updated this week
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- PC-miner tool for program chairs☆24Updated 2 months ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated last week
- Runtime verification system for Java, using AspectJ for instrumentation.☆45Updated 2 years ago
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- Static checker for Java☆85Updated last month
- ☆71Updated 7 years ago
- Main distribution of Petablox☆36Updated 7 years ago
- Static Analyzer and Verifier☆46Updated 4 months ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 6 years ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆33Updated last month
- A model checker for infinite-state systems.☆70Updated 2 months ago
- Pluggable type-checking for Java☆20Updated this week
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 3 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated 2 weeks ago
- ANTLR SMT-LIB v2 Grammar☆22Updated 3 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 7 months ago
- A platform for analysis of Java bytecode☆30Updated 4 months ago
- Inconsistent code detection for Java.☆14Updated 7 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago