[USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel

SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.

This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Reduction" published in the Proceedings of the 29th Usenix Secu…

Precise and high-order static points-to/taint analysis based on LLVM IR.

A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.

Linux kernel with mmview extensions

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

RetroWrite -- Retrofitting compiler passes through binary rewriting