An Extension of Haruspex to Cover Vulnerabilities in Application Environments