Design and Implement an Accurate Automated Static Analysis Checker to Detect Insecure Use of SecurityManager. - Midya Alqaradaghi; Muhammad Zafar Iqbal Nazir; Tamás Kozsik (Comput., 2023)