The goal of this thesis is to develop a hybrid taint analysis of Java and JavaScript based programs.

Taint analyses are (static) analyses that track the flow of 'tainted' values, such as unsanitized user inputs or private data. With more and more hybrid software built using two or more programming languages, taint analysis must be extended to handle such applications.

Publications

• Timo Dreher: Taint Analysis in Hybrid Web Applications.