Opaque Predicate Detection by Abstract Interpretation