There exist several open-sourced and commercial security tools that automatically screen Java programs to detect misuses ... and path sensitive data flow of misuse cases. The benchmark also includes ...