HexHive

Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level

Switzerland

Pinned Repositories

BOPC
Block Oriented Programming -- Compiler
Language:Python177 11 1535
datAFLow
A data-flow-guided fuzzer
Language:Faust107 5 48
FuZZan
FuZZan: Efficient Sanitizer Metadata Design for Fuzzing
Language:C++117 6 520
FuzzGen
Language:C++289 21 2553
magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
Language:HTML269 10 9577
malWASH
Language:C++114 13 029
printbf
Brainfuck interpreter inside printf
Language:Brainfuck600 31 729
retrowrite
RetroWrite -- Retrofitting compiler passes through binary rewriting
Language:Python649 36 4478
T-Fuzz
Language:Python245 34 1938
thesis_template
Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
Language:TeX118 16 071

HexHive's Repositories

HexHive/retrowrite
RetroWrite -- Retrofitting compiler passes through binary rewriting
Language:Python649 36 4478
HexHive/magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
Language:HTML269 10 9577
HexHive/thesis_template
Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
Language:TeX118 16 071
HexHive/datAFLow
A data-flow-guided fuzzer
Language:Faust107 5 48
HexHive/HexType
HexType: Efficient Detection of Type Confusion Errors for C++
Language:C++97 9 920
HexHive/FishFuzz
AFL/AFL++ version FishFuzz
Language:C73 5 27
HexHive/Evocatio
Language:C52 10 15
HexHive/ViDeZZo
ViDeZZo source code.
Language:C27 2 123
HexHive/SieveFuzz
Optimizing Directed Fuzzing via Target-tailored Program State Restriction
Language:C25 6 36
HexHive/pubstats
Language:Python21 2 23
HexHive/teezz-fuzzer
19 14 51
HexHive/AutoBib
AutoBib: create beautiful bib files and html publication pages automagically
Language:Python132
HexHive/hexhive.github.io
HexHive homepage
Language:HTML8 24 02
HexHive/Crystallizer
A hybrid analysis framework to aid in uncovering deserialization vulnerabilities
Language:Java7 3 20
HexHive/WarpAttack
Language:JavaScript7 2 0
HexHive/simple_attacks
A set of simple buggy programs with corresponding exploits and simple shellcode
Language:C5
HexHive/SyzRisk
Official repository of SyzRisk [ASIA CCS'24]
Language:Go5 1 0
HexHive/HyperPill
4 11 0
HexHive/teezz-ca-driver
Language:C4 3 0
HexHive/teezz-caid
TEEzz's Client Application Identification
Language:Python3 3 0
HexHive/SURGEON
Performant, flexible, and accurate re-hosting via transplantation
Language:C2
HexHive/teezz-fuzzing-engine
Language:Python2
HexHive/dimva24
Language:HTML1 1 01
HexHive/fuzzbench-TuneFuzz
Integrating TuneFuzz to fuzzbench
Language:Python1 1 01
HexHive/teezz-introspection
Language:C++1 2 0
HexHive/scudo-exploitation
Language:Python
HexHive/securecells
SecureCells website repository
4 0
HexHive/security-group.epfl.ch
Language:HTML3 08
HexHive/SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1 0
HexHive/teezz-adb
Python adb wrapper.
Language:Python2 0