HexHive
Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level
Switzerland
Pinned Repositories
BOPC
Block Oriented Programming -- Compiler
datAFLow
A data-flow-guided fuzzer
FuZZan
FuZZan: Efficient Sanitizer Metadata Design for Fuzzing
FuzzGen
magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
malWASH
printbf
Brainfuck interpreter inside printf
retrowrite
RetroWrite -- Retrofitting compiler passes through binary rewriting
T-Fuzz
thesis_template
Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
HexHive's Repositories
HexHive/retrowrite
RetroWrite -- Retrofitting compiler passes through binary rewriting
HexHive/magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
HexHive/thesis_template
Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
HexHive/datAFLow
A data-flow-guided fuzzer
HexHive/HexType
HexType: Efficient Detection of Type Confusion Errors for C++
HexHive/FishFuzz
AFL/AFL++ version FishFuzz
HexHive/Evocatio
HexHive/ViDeZZo
ViDeZZo source code.
HexHive/pubstats
HexHive/scudo-exploitation
HexHive/teezz-fuzzer
HexHive/HyperPill
HexHive/AutoBib
AutoBib: create beautiful bib files and html publication pages automagically
HexHive/Tango
Tango: Extracting Higher-Order Feedback through State Inference
HexHive/hexhive.github.io
HexHive homepage
HexHive/Crystallizer
A hybrid analysis framework to aid in uncovering deserialization vulnerabilities
HexHive/SyzRisk
Official repository of SyzRisk [ASIA CCS'24]
HexHive/GlobalConfusion
TrustZone Trusted Application 0-Days by Design
HexHive/SURGEON
Performant, flexible, and accurate re-hosting via transplantation
HexHive/simple_attacks
A set of simple buggy programs with corresponding exploits and simple shellcode
HexHive/teezz-ca-driver
HexHive/EL3XIR
Fuzzing Secure Monitor Implementations
HexHive/spill_the_tea
HexHive/teezz-fuzzing-engine
HexHive/dimva24
HexHive/teezz-introspection
HexHive/fuzzbench-TuneFuzz
Integrating TuneFuzz to fuzzbench
HexHive/securecells
SecureCells website repository
HexHive/security-group.epfl.ch
HexHive/SVF
Static Value-Flow Analysis Framework for Source Code