Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks

Sydur Rahaman, Iulian Neamtiu, Xin Yin. Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks. In Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta, editors, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. pages 70-82, ACM, 2021. [doi]

Abstract

Abstract is missing.