Static Analysis of Infrastructure as Code: a Survey.

Michele Chiari Michele De Pascalis Matteo Pradella

Published in: ICSA Companion (2022)

Keyphrases

static analysis
source code
malicious code
dynamic analysis
symbolic execution
regular expressions
test generation
test suite
java card
software systems
abstract interpretation
databases
decision trees
data model
open source
building blocks