O.V., P. .; D.O, I. . Making Static Code Analysis More Efficient. JCSANDM 2014, 3, 77-88.