HexHive

icon indicating a website link https://hexhive.epfl.ch

icon location Switzerland icon location Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level

Results 34 repositories owned by HexHive

printbf

599
Stars
29
Forks
Watchers

Brainfuck interpreter inside printf

verified publisher icon HexHive

retrowrite

647
Stars
78
Forks
Watchers

RetroWrite -- Retrofitting compiler passes through binary rewriting

verified publisher icon HexHive

FuZZan

118
Stars
20
Forks
Watchers

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

verified publisher icon HexHive

BOPC

176
Stars
35
Forks
Watchers

Block Oriented Programming -- Compiler

verified publisher icon HexHive

FuzzGen

286
Stars
55
Forks
Watchers

verified publisher icon HexHive

magma

269
Stars
77
Forks
Watchers

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

verified publisher icon HexHive

CFIXX

25
Stars
6
Forks
Watchers

verified publisher icon HexHive

datAFLow

101
Stars
8
Forks
Watchers

A data-flow-guided fuzzer

verified publisher icon HexHive

datashield

16
Stars
3
Forks
Watchers

verified publisher icon HexHive

EPOXY

31
Stars
4
Forks
Watchers

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

verified publisher icon HexHive