Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs.

Malte Mues, Till Schallau, Falk Howar

Browse the full IFM paper archive.