IdempotencyGuard: Static Analysis for Infrastructure as Code Idempotence

Zenodo (CERN European Organization for Nuclear Research) 2026 Preprint Open access

Read full text
Authors: Stéphane François LEFORT
DOI: 10.5281/zenodo.18487090
Cited by: 0

Abstract

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 - Python prototype (~800 lines, no dependencies) PREPRINT STATUS: This work has not been peer-reviewed. It is shared for academic feedback and collaboration Keywords: Infrastructure as Code, Idempotence, Static Analysis, Terraform, Ansible, DevOps, Formal Methods

Fields of Study & Subjects

Software System Performance and Reliability Software Engineering Research Cloud Computing and Resource Management

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
4 February 2026
Language
EN
Document type
Preprint