Using human expertise to guide security analysis

With all advances in program analysis, the performance of security analysis tools is not yet satisfactory and security analyses heavily depend on the knowledge of human experts. In this project we would pick a false-positive/negative prone analysis (e.g. a vulnerability in internet sockets) and study the circumstances in which the analysis fails.