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

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

Free

Repokid automatically removes unused service permissions from AWS IAM role inline policies using Access Advisor data to implement least privilege access.

Free

A key and secret validation workflow tool built in Rust, supporting over 30 providers and exporting to JSON or CSV.

Free

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

Free

A PHP OAuth 2.0 authorization server implementation with support for various grants and RFCs.

Free

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

Free

A list of Windows privilege escalation techniques, categorized and explained in detail.

Free

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

Free

An AWS IAM security assessment tool that identifies least privilege violations and generates risk-prioritized reports for IAM policy remediation.

Free

PINNED

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
Checkmarx SCA Logo

Checkmarx SCA

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

Application Security
Orca Security Logo

Orca Security

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

Cloud Security
DryRun Logo

DryRun

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

Application Security
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