HexHive

HexHive

Geek Repo

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

Location:Switzerland

Home Page:https://hexhive.epfl.ch

Twitter:@gannimo

Github PK Tool:Github PK Tool

HexHive's repositories

retrowrite

RetroWrite -- Retrofitting compiler passes through binary rewriting

Language:PythonLicense:NOASSERTIONStargazers:642Issues:36Issues:43

magma

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

thesis_template

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

Language:TeXStargazers:112Issues:16Issues:0

datAFLow

A data-flow-guided fuzzer

Language:FaustLicense:Apache-2.0Stargazers:104Issues:5Issues:3

FishFuzz

AFL/AFL++ version FishFuzz

Language:CLicense:Apache-2.0Stargazers:52Issues:10Issues:1

SieveFuzz

Optimizing Directed Fuzzing via Target-tailored Program State Restriction

Language:CLicense:Apache-2.0Stargazers:24Issues:6Issues:3

ViDeZZo

ViDeZZo source code.

hexhive.github.io

HexHive homepage

Language:HTMLStargazers:8Issues:24Issues:0

Crystallizer

A hybrid analysis framework to aid in uncovering deserialization vulnerabilities

Language:JavaLicense:UPL-1.0Stargazers:6Issues:3Issues:0
Language:JavaScriptStargazers:6Issues:2Issues:0

simple_attacks

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

Language:CLicense:MITStargazers:5Issues:0Issues:0

SyzRisk

Official repository of SyzRisk [ASIA CCS'24]

Language:GoLicense:MITStargazers:5Issues:1Issues:0

teezz-caid

TEEzz's Client Application Identification

Language:PythonStargazers:3Issues:3Issues:0
Language:PythonStargazers:2Issues:0Issues:0

fuzzbench-TuneFuzz

Integrating TuneFuzz to fuzzbench

Language:PythonLicense:Apache-2.0Stargazers:1Issues:1Issues:0

SURGEON

Performant, flexible, and accurate re-hosting via transplantation

Language:CLicense:MITStargazers:1Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:5Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:5Issues:0

securecells

SecureCells website repository

Stargazers:0Issues:3Issues:0
Language:HTMLStargazers:0Issues:3Issues:0

SVF

Static Value-Flow Analysis Framework for Source Code

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

teezz-adb

Python adb wrapper.

Language:PythonStargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:1Issues:1