P. . O.V. and I. . D.O, “Making Static Code Analysis More Efficient”, JCSANDM, vol. 3, no. 1, pp. 77–88, Jun. 2014.