Attack on Rolfan: Binary Obfuscation In the Face of Semantics-based Optimizations