Static Analysis of Infrastructure as Code: a Survey.

Michele Chiari Michele De Pascalis Matteo Pradella

Published in: CoRR (2022)

Keyphrases

static analysis
source code
malicious code
dynamic analysis
symbolic execution
java card
test generation
regular expressions
high level
test suite
abstract interpretation
database
visual basic
building blocks
data model
artificial intelligence
databases