Static Analysis door A. Cortesi