A static analysis framework for NASL.