Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services | IEEE Conference Publication | IEEE Xplore