PyPI page
Home page
Author:
Utkarsh Batham
Summary:
Formally verify security invariants over AWS IAM policies using an SMT solver (Z3), with counterexample traces.
Latest version:
0.7.1
Required dependencies:
pyyaml
|
z3-solver
Optional dependencies:
pytest
|
ruff
Downloads last day:
5
Downloads last week:
34
Downloads last month:
29
7-day smoothing