Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services - Zhong, Zexin; Liu, Jiangchao; Wu, Diyu; Di, Peng; Sui, Yulei; Liu, Alex X.; Lui, John C. S. (IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (Online), 2023)
Keywords: Analytical models; Codes; Containers; Java; micro-services; Microservice architectures; Production; program analysis; Scalability; taint analysis