Obfvious is a LLVM & Clang (version 12) based compiler focused on Windows binaries obfuscation. It’s currently implemented as an integral part of Clang and is invoked automatically as part of t...

I created a program analysis glossary due to a recent exploration experience, where I realized there are so many types of analyses and definitions and found it hard to keep up. The glossary is exa...

I wrote a python script for disassembling an executable with radare2 (find all procedures & blocks locations and extract binary and disassembly), since I (was surprised that I) couldn’t find on...

Paper accepted in PLAS 18”. Collaborator(s): Noam Shalev Abstract: Finding similar procedures in stripped binaries has various use cases in the domains of cyber security and intell...

Paper accepted in ASPLOS 18”. Collaborator(s): Yaniv David, Eran Yahav Abstract: We present a static, precise, and scalable technique for finding CVEs (Common Vulnerabilities and Exposures) in st...

Paper accepted in ATC 17”. Project Collaborator(s): Robert O’Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll Abstract: The ability to record and replay program executions ...

Paper accepted in ISSTA 17”. Collaborator(s): Alex Gyori, Shuvendu K. Lahiri Abstract: Change-impact analysis (CIA) is the task of determining the set of program elements impacted ...

Paper accepted in PLDI 17”. Slides Collaborator(s): Yaniv David, Eran Yahav Abstract: We present a scalable approach for establishing similarity between stripped binaries (with no...

Paper accepted in PLDI 16”. Slides, Website, Dataset Collaborator(s): Yaniv David, Eran Yahav Abstract: We address the problem of finding similar procedures in stripped binaries. ...