IAMSpy is a library that leverages the Z3 theorem prover to analyze AWS Identity and Access Management (IAM) policies. The tool enables users to query IAM policies to determine whether specific actions are permitted or denied under given conditions. The library aims to simplify the development of IAM-related tooling by providing programmatic access to policy analysis capabilities. It utilizes formal verification techniques through the Z3 prover to evaluate policy logic and access decisions. IAMSpy serves as both a practical tool for IAM policy analysis and a resource for documenting IAM behavior patterns and edge cases observed in AWS environments. This documentation aspect helps the security community better understand IAM policy evaluation nuances and potential security implications.
FEATURES
EXPLORE BY TAGS
SIMILAR TOOLS
Encrypt Kubernetes Secrets into SealedSecrets for safe storage and controlled decryption within the cluster.
A simple drop-in library for managing users, permissions, and groups in your application.
A PHP OAuth 2.0 authorization server implementation with support for various grants and RFCs.
A tool for privilege escalation within Linux environments by targeting vulnerabilities in SUDO usage.
A list of Windows privilege escalation techniques, categorized and explained in detail.
An AWS IAM security assessment tool that identifies least privilege violations and generates risk-prioritized reports for IAM policy remediation.
PINNED

Checkmarx SCA
A software composition analysis tool that identifies vulnerabilities, malicious code, and license risks in open source dependencies throughout the software development lifecycle.

Orca Security
A cloud-native application protection platform that provides agentless security monitoring, vulnerability management, and compliance capabilities across multi-cloud environments.

DryRun
A GitHub application that performs automated security code reviews by analyzing contextual security aspects of code changes during pull requests.