Practical Type-Based Taint Checking and Inference (Extended Version)

Nima Karimipour, Kanak Das, Manu Sridharan +1

Many important security properties can be formulated in terms of flows of tainted data, and improved taint analysis tools to prevent such flows are of critical need. Most existing…