“…There are many approaches to detect or verify null references, the main techniques used include static analysis (Ayewah & Pugh, 2010;Loginov et al, 2008;Madhavan & Komondoor, 2011;Margoor & Komondoor, 2015;Nanda & Sinha, 2009) and dynamic analysis (Gerasimov & Kruglov, 2018;Jiang et al, 2012;Zhao et al, 2011). Among all the works, Xylem (Nanda & Sinha, 2009) and Margoor and Komondoor (2015) verification techniques are the most related work to ours. Xylem proposed an inter-procedural data flow analysis method to detect the null dereference of Java programs.…”