Opaque Predicate Detection by Static Analysis of Binary Executables. - R. Krishna Ram Prakash; P. P. Amritha; M. Sethumadhavan 001 (SSCC, 2017)