Security Enhanced Java: Mandatory Access Control for the Java Virtual Machine
Pixy: a static analysis tool for detecting Web application vulnerabilities