Mila Dalla Preda Matias Madou Koen De Bosschere Roberto Giacobazzi Opaque Predicates Detection by Abstract Interpretation. 81-95 2006 conf/amast/2006 AMAST http://dx.doi.org/10.1007/11784180_9 db/conf/amast/amast2006.html#PredaMBG06