O.V., P. ., and I. . D.O. “Making Static Code Analysis More Efficient”. Journal of Cyber Security and Mobility, vol. 3, no. 1, June 2014, pp. 77-88, doi:10.13052/jcsm2245-1439.315.