Stéphane François LEFORT

IdempotencyGuard: Static Analysis for Infrastructure as Code Idempotence

2026 · Zenodo (CERN European Organization for Nuclear Research)

IdempotencyGuard is a static analysis tool for detecting non-idempotent patterns in Infrastructure as Code (IaC) configurations, specifically Terraform and Ansible This package contains:1. Technical Whitepaper - Formal framework, pattern taxonomy, and limitations2. Reference Implementation - …