awslabs / aws-crypto-policy-compliance-checker
A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
☆10Updated 2 years ago
Related projects: ⓘ
- A constraint solver abstraction layer for Java☆20Updated last year
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- Mutation analysis tool for Coq verification projects☆28Updated 3 years ago
- ☆25Updated last month
- A regular expression to SMT-LIB constraint translator☆10Updated 5 years ago
- Main distribution of Petablox☆36Updated 6 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Updated last year
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 3 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 2 months ago
- PC-miner tool for program chairs☆23Updated 3 months ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- A Datalog compiler and library☆18Updated 3 years ago
- KLEE with floating point support (unmaintained)☆18Updated 2 years ago
- A model checker for infinite-state systems.☆69Updated 3 years ago
- Static Analyzer and Verifier☆44Updated 9 months ago
- DARPA CASE program☆13Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- ☆18Updated last week
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆13Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆62Updated 10 months ago
- AE-solver and Skolemizer☆16Updated 10 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆96Updated 3 years ago
- Pluggable type-checking for Java☆17Updated this week
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated last year
- TriCera: a model checker for C programs☆17Updated this week
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- Apron Numerical Abstract Domain Library☆102Updated last month
- StarExec is a cross community logic solving service☆16Updated 3 months ago