Qsynth - a program synthesis based approach for binary code deobfuscation