Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto. K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. pages 359-366, SciTePress, 2018. [doi]
Abstract is missing.