Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian S. Collberg, Isil Dillig. Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis. Proceedings of the ACM on Programming Languages, 8(OOPSLA2):2211-2241, 2024. [doi]
Abstract is missing.