K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. - Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto (ENASE, 2018)