GitHub repository: shiftre/syntia
Primary language: Python
Description: Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"