Discover vusec/instrumentation-infra Open Source project

Stars
20
Rank 1,121,974 (Top 23 %)
Language
Python
License
Other
Created over 6 years ago
Updated 12 months ago

vusec

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An extendable and flexible infrastructure for program instrumentation.

drammer

Native binary for testing Android phones for the Rowhammer bug

C++

478

vuzzer

379

revanc

Reverse Engineering Page Table Caches in Your Processor

362

ridl

RIDL test suite and exploits

345

vuzzer64

This implements a 64-bit version of vusec/vuzzer fuzzing tool.

C++

175

parmesan

ParmeSan: Sanitizer-guided Greybox Fuzzing

hammertime

trrespass

bhi-spectre-bhb

This repository contains exploit and reverse-engineering source code regarding the Spectre-BHB/Branch History Injection vulnerability

101

guardion

Android GuardION patches to mitigate DMA-based Rowhammer attacks on ARM

C++

collabfuzz

CollabFuzz: A Framework for Collaborative Fuzzing

C++

dangsan

C++

floatzone

pandacap

A framework for streamlining the capture of PANDA execution traces.

Shell

slam

Spectre based on Linear Address Masking

deltapointers

Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)

C++

kasper

Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel

smash

memsentry

Open-source release for MemSentry (EuroSys'17)

typearmor

Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks

uncontained

Uncovering Container Confusion in the Linux Kernel

C++

inspectre-gadget

InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets

Python

blindside

xlate

Code to evaluate XLATE attacks as well existing cache attacks.

typesan

TypeSan checks casts in C++ code - code released for CCS 2016

C++

minesweeper

Tools used for MineSweeper project

Python

safeinit

SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017

C++

kmvx

kMVX: Detecting Kernel Information Leaks with Multi-variant Execution

patharmor

mvarmor

Multi-variant execution (MVX) using hardware-assisted process virtualization (with Dune)

shalloc

Shared memory allocator

tlbdr

dangzero

tlbkit

some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.

Python

fpvi-scsb

Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks

triereme

Rust

midfat

C++

ramses

Memory address translation library.

LookUB

C++

snappy

C++

TIFF

C++

drammer-app

GUI for testing Android phones for the Rowhammer bug

Java

typeisolation

Type-based Data Isolation prototype

C++

vusion

probeguard

ProbeGuard: Mitigating Probing Attacks Through Reactive Program Transformations [ ASPLOS'19 ]

C++

dune

Dune fork

poking-holes

Project for the Poking Holes in Information Hiding paper

OCaml

alis

LLVMUtils

This repository contains a number of generic LLVM utility functions, setters, and/or getters for use in different LLVM passes.

C++

libshrink

A user-space runtime library to shrink the address space to a specified number of bits.

C++

zebram

pibe

PIBE project source code

infra-sanitizers

Configurations for benchmarking sanitizers

Python

qemu-hypercall

QEMU offering the hypercall interface used by HSFI and OSIRIS

firestarter

aos-labs-2021

Vrije Universiteit Amsterdam - Advanced Operating Systems (OpenLSD)

osiris

delorean

hammertime-fliptables

Rowhammer flip tables collected using Hammertime.

ReScript

instrumentation-skeleton

Skeleton repository for instrumentation-infra users.

Python

Copy-on-Flip

aos-labs-2020

Vrije Universiteit Amsterdam - Advanced Operating Systems (OpenLSD)

absynthe

ABSynthe related code

Python

minix-llvm

MINIX with the changes from the llvm_squashed branch needed for OSIRIS and HSFI

libumem-mvx

libumem fork for MvArmor

SCC

The |S|uborbital |C||C|annon compiler fuzzing framework

C++

libdft64-ng

Fork of https://github.com/AngoraFuzzer/libdft64 with support for shadow memory-based tagmap, small set tags, pointer/offset labels, and taint all memory semantics.

C++

dsn-2016-hsfi

type-after-type

C++

kamino

OCaml

SpeculationAtFault-AE

Artifact of "Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions"

kdfsan-llvm-project

C++

kdfsan-syzkaller

kdfsan-linux

coco-docs

Vrije Universiteit Amsterdam - Compiler Construction (aux docs)

HTML

pirop

PIROP Asterisk exploits

Python

vu-forms-and-templates

VU forms and templates

TeX

uncontained-llvm-project

lldb-dfsan

Debugging DFSan labels with LLDB

Python

vusec/instrumentation-infra

vusec

Reviews

Repository Details

More Repositories