TAJ: effective taint analysis of web applications
A Sound Type System For Secure Flow Analysis