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

• awslabs / typecart
  ☆21Updated last month
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 6 months ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆51Updated last month
• aws / aws-encryption-sdk
  AWS Encryption SDK
  ☆37Updated this week
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆70Updated 3 weeks ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated last year
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆30Updated 4 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆46Updated 2 weeks ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated last month
• model-checking / cbmc-viewer
  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 2 weeks ago
• caterinaurban / Lyra
  ☆30Updated 5 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆33Updated 2 weeks ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆22Updated 3 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 6 months ago
• isstac / spf-wca
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Updated 6 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 3 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆22Updated this week
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆26Updated 5 years ago
• wala / ML
  ☆26Updated this week
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 2 months ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆12Updated last year
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• CVC4 / CVC4-archived
  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  ☆16Updated 3 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated last month
• vlab-cs-ucsb / ABC
  ☆27Updated 4 months ago
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆45Updated 2 years ago