HexHive/magma

Stars
287
Rank 144,232 (Top 3 %)
Language
HTML
Created over 5 years ago
Updated 6 months ago

HexHive

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

A ground-truth fuzzing benchmark suite based on real programs with real bugs.

Magma: A Ground-Truth Fuzzing Benchmark

The documentation has been moved to the Magma homepage.

retrowrite

RetroWrite -- Retrofitting compiler passes through binary rewriting

Python

669

printbf

Brainfuck interpreter inside printf

FuzzGen

T-Fuzz

BOPC

Block Oriented Programming -- Compiler

Python

180

thesis_template

Template for EPFL (BSc, MSc, or doctoral) theses and semester projects

TeX

123

FuZZan

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

malWASH

datAFLow

A data-flow-guided fuzzer

Faust

111

USBFuzz

A Framework for fuzzing USB Drivers by Device Emulation

109

HexType

HexType: Efficient Detection of Type Confusion Errors for C++

C++

100

FishFuzz

AFL/AFL++ version FishFuzz

FirmFuzz

Automated IoT firmware fuzzing framework.

SMoTherSpectre

Proof-of-concept code for the SMoTherSpectre exploit.

Igor

Gramatron

Coverage-guided grammar aware fuzzer that uses grammar automatons

libdetox

Fast and efficient binary translator

Evocatio

memTrace

memTrace, a framework for lightweight memory tracing

fuzzing-seed-selection

"Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)

C++

HexPADS

HexPADS, a host-based, Performance-counter-based Attack Detection System

ShadowStack

LLVM Implementation of different ShadowStack schemes for x86_64

C++

RetroWrite-Tutorial

GLeeFuzz

LLVM

EPOXY

Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems

OSTEP-slides

ViDeZZo

scudo-exploitation

CFIXX

SieveFuzz

Optimizing Directed Fuzzing via Target-tailored Program State Restriction

pubstats

Python

teezz-fuzzer

mitiGate

Benchmark to test different stop the exploit mitigations

HyperPill

C++

datashield

C++

HexVASAN

C++

AutoBib

AutoBib: create beautiful bib files and html publication pages automagically

Python

Tango

Tango: Extracting Higher-Order Feedback through State Inference

Python

GlobalConfusion

TrustZone Trusted Application 0-Days by Design

specrop

Code repository for experiments in SpecROP paper

WarpAttack

hexhive.github.io

nesCheck

SyzRisk

Official repository of SyzRisk [ASIA CCS'24]

Crystallizer

A hybrid analysis framework to aid in uncovering deserialization vulnerabilities

Java

retrowrite-dev

Retrowrite Development (Internal) Repository

SURGEON

Performant, flexible, and accurate re-hosting via transplantation

EL3XIR

Fuzzing Secure Monitor Implementations

EPOXY-llvm

Fork of LLVM for used to create EPOXY

C++

dis-cover

Disassemble binaries and recover as much info as possible

Python

specrop-public

Code repository for experiments in SpecROP paper

midas

Systematic Kernel TOCTTOU Protection

IOVFI

An accurate and resilient semantic function identifier

Python

simple_attacks

A set of simple buggy programs with corresponding exploits and simple shellcode

spill_the_tea

Python

halucinator-tutorial

Tutorial for HALucinator

teezz-ca-driver

CUP

teezz-caid

TEEzz's Client Application Identification

Python

EPOXY-clang

Fork of Clang used to create EPOXY

C++

adaptSTM

adaptSTM, a competitive, word-based STM library that is based on a global clock and an array of combined global versions (timestamps) and locks.

GAENScan

Java

dis-cover-packages-analysis

Debian C++ packages analysis with the dis-cover tool

Jupyter Notebook

teezz-fuzzing-engine

Python

BLURtooth

WOOT21

HTML

teezz-introspection

C++

seccell-seL4

The seL4 microkernel

se-valgrind

dimva24

HTML

dibartolomeo-msthesis

Luca Di Bartolomeo's master thesis

TeX

security-group.epfl.ch

HTML

teezz-adb

Python adb wrapper.

Python

seccell-riscv-binutils-gdb

seccell-riscv-gnu-toolchain

GNU toolchain for RISC-V, including GCC

Ancile

C++

securecells

SecureCells website repository

Igor-evaluations

seccell-seL4_libseccells

Userspace library for SecCells-specific functionality

seccell-opensbi

seccell-sel4-playground

A project based on the seL4 microkernel to implement and test new functionality based on the SecCells architecture

seccell-qemu

seccell-memcache

In-memory cache

virtfuzz-bugs

seccell-browser

JournalBot

Python

seccell-archtests

Testing basic architectural functionality for SecureCells

HexHive/magma

HexHive

Reviews

Repository Details

Magma: A Ground-Truth Fuzzing Benchmark

More Repositories