IAMSpy Logo

IAMSpy

0
Free
1
222
06 Sept 2025
10 September 2025
Visit Website

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

SIMILAR TOOLS

A simple drop-in library for managing users, permissions, and groups in your application.

Free

PowerUp aims to be a clearinghouse of common Windows privilege escalation vectors that rely on misconfigurations.

Free

A tool for privilege escalation within Linux environments by targeting vulnerabilities in SUDO usage.

Free

Safely store secrets in version control repositories with GPG encryption support.

Free

An automated script that configures Active Directory domains using customizable XML configuration files.

Free

AirIAM analyzes AWS IAM usage patterns and generates least-privilege Terraform configurations to optimize cloud access management.

Free

kube2iam provides IAM credentials to Kubernetes containers by intercepting EC2 metadata API calls and retrieving temporary AWS credentials based on pod annotations.

Free

OpenIAM offers a unified identity governance platform featuring CIAM, MFA, and PAM integration.

Free

Encrypt Kubernetes Secrets into SealedSecrets for safe storage and controlled decryption within the cluster.

Free

PINNED

RoboShadow Logo

A cybersecurity platform that offers vulnerability scanning, Windows Defender and 3rd party AV management, and MFA compliance reporting, among other features.

Vulnerability Management
Proton Pass Logo

Proton Pass is a cross-platform password manager that provides encrypted storage, password generation, and security monitoring features with integrated 2FA and dark web monitoring capabilities.

Data Protection
NordVPN Logo

NordVPN is a commercial VPN service that encrypts internet connections and hides IP addresses through a global network of servers, featuring integrated threat protection and multi-device support.

Network Security
Mandos Logo

Fractional CISO service that helps B2B companies implement security leadership to win enterprise deals, achieve compliance, and develop strategic security programs.

Consulting
CybersecTools logoCybersecTools

Explore the largest curated directory of cybersecurity tools and resources to enhance your security practices. Find the right solution for your domain.

Operated by:

Mandos Cyber • KVK: 97994448

Netherlands • contact@mandos.io

VAT: NL005301434B12

Copyright © 2025 - All rights reserved