binary-analysis topic

NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)

SoftSec-KAIST

Juliet C/C++ Dynamic Test Suite

ispras

ROP gadget finder and analysis in pure Javascript

polyverse

PE Parsing, but blazing fast

IsaacMarovitz

Binary analysis in HOL

kth-step

dynamic binary analysis tools

udbg

A plugin for IDA that renames functions by system call numbers.

WPeace-HcH

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

kudu-dynamics

FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22

mimicji