FunctionSimSearch: Fast search for statically linked library functions

dewolf: Improving Decompilation by leveraging User Surveys

Steffen Enders, Eva-Maria C. Behner, Niklas Bergmann, Mariia Rybalka, Elmar Padilla (Fraunhofer FKIE, Germany), Er Xue Hui, Henry Low, Nicholas Sim (DSO National Laboratories, Singapore)

Creating Human Readable Path Constraints from Symbolic Execution

Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)

dAngr: Lifting Software Debugging to a Symbolic Level

Dairo de Ruck, Jef Jacobs, Jorn Lapon, Vincent Naessens (DistriNet, KU Leuven, 3001 Leuven, Belgium)

Blaze: A Framework for Interprocedural Binary Analysis

Matthew Revelle, Matt Parker, Kevin Orr (Kudu Dynamics)

FunctionSimSearch: Fast search for statically linked library functions

View More Papers

dewolf: Improving Decompilation by leveraging User Surveys

Creating Human Readable Path Constraints from Symbolic Execution

dAngr: Lifting Software Debugging to a Symbolic Level

Blaze: A Framework for Interprocedural Binary Analysis