Abhishek Pathak, Kaarthik Sivakumar, Jin Sheng, Anlu Yan, Mazhar Haque: Effective Static Analysis Enforcement in Complex Cloud Native Dockerized Systems. SecDev 2019: 141