Type-Based Java String Analysis

Automatic Detection of Code Injection Attacks

Type-Based Java String Analysis (TJSA) is a type-based approach to enforce programming guidelines that prevent code injection attacks.

This site provides a web interface to the prototype implementation. It also aims to document the approach, and to give an overview about the progress of the project.

Please not that these pages are still under construction, and that the implementation is work-in-progress.