K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework.

Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto

Browse the full ENASE paper archive.