HexHive/specrop HexHive/specrop

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    C
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HexHive/specrop
github

HexHive

Reviews

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

Repository Details

Code repository for experiments in SpecROP paper

More Repositories

1

retrowrite

RetroWrite -- Retrofitting compiler passes through binary rewriting
Python
669
star
2

printbf

Brainfuck interpreter inside printf
Brainfuck
609
star
3

FuzzGen

C++
295
star
4

magma

A ground-truth fuzzing benchmark suite based on real programs with real bugs.
HTML
287
star
5

T-Fuzz

Python
248
star
6

BOPC

Block Oriented Programming -- Compiler
Python
180
star
7

thesis_template

Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
TeX
123
star
8

FuZZan

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing
C++
119
star
9

malWASH

C++
112
star
10

datAFLow

A data-flow-guided fuzzer
Faust
111
star
11

USBFuzz

A Framework for fuzzing USB Drivers by Device Emulation
C
109
star
12

HexType

HexType: Efficient Detection of Type Confusion Errors for C++
C++
100
star
13

FishFuzz

AFL/AFL++ version FishFuzz
C
86
star
14

FirmFuzz

Automated IoT firmware fuzzing framework.
C
76
star
15

SMoTherSpectre

Proof-of-concept code for the SMoTherSpectre exploit.
C
73
star
16

Igor

C
70
star
17

Gramatron

Coverage-guided grammar aware fuzzer that uses grammar automatons
C
63
star
18

libdetox

Fast and efficient binary translator
C
58
star
19

Evocatio

C
55
star
20

memTrace

memTrace, a framework for lightweight memory tracing
C
54
star
21

fuzzing-seed-selection

"Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
C++
41
star
22

HexPADS

HexPADS, a host-based, Performance-counter-based Attack Detection System
C
39
star
23

ShadowStack

LLVM Implementation of different ShadowStack schemes for x86_64
C++
37
star
24

RetroWrite-Tutorial

C
37
star
25

GLeeFuzz

LLVM
35
star
26

EPOXY

Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems
C
32
star
27

OSTEP-slides

Makefile
31
star
28

ViDeZZo

ViDeZZo source code.
C
30
star
29

scudo-exploitation

Python
29
star
30

CFIXX

C++
27
star
31

SieveFuzz

Optimizing Directed Fuzzing via Target-tailored Program State Restriction
C
27
star
32

pubstats

Python
26
star
33

teezz-fuzzer

22
star
34

mitiGate

Benchmark to test different stop the exploit mitigations
C
18
star
35

HyperPill

C++
18
star
36

datashield

C++
17
star
37

HexVASAN

C++
16
star
38

AutoBib

AutoBib: create beautiful bib files and html publication pages automagically
Python
14
star
39

Tango

Tango: Extracting Higher-Order Feedback through State Inference
Python
13
star
40

GlobalConfusion

TrustZone Trusted Application 0-Days by Design
C
12
star
41

WarpAttack

JavaScript
11
star
42

hexhive.github.io

HexHive homepage
HTML
10
star
43

nesCheck

C++
9
star
44

SyzRisk

Official repository of SyzRisk [ASIA CCS'24]
Go
9
star
45

Crystallizer

A hybrid analysis framework to aid in uncovering deserialization vulnerabilities
Java
9
star
46

retrowrite-dev

Retrowrite Development (Internal) Repository
7
star
47

SURGEON

Performant, flexible, and accurate re-hosting via transplantation
C
7
star
48

EL3XIR

Fuzzing Secure Monitor Implementations
C
6
star
49

EPOXY-llvm

Fork of LLVM for used to create EPOXY
C++
6
star
50

dis-cover

Disassemble binaries and recover as much info as possible
Python
6
star
51

specrop-public

Code repository for experiments in SpecROP paper
C
6
star
52

midas

Systematic Kernel TOCTTOU Protection
C
6
star
53

IOVFI

An accurate and resilient semantic function identifier
Python
6
star
54

simple_attacks

A set of simple buggy programs with corresponding exploits and simple shellcode
C
6
star
55

spill_the_tea

Python
5
star
56

halucinator-tutorial

Tutorial for HALucinator
C
5
star
57

teezz-ca-driver

C
5
star
58

CUP

5
star
59

teezz-caid

TEEzz's Client Application Identification
Python
4
star
60

EPOXY-clang

Fork of Clang used to create EPOXY
C++
4
star
61

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.
C
4
star
62

GAENScan

Java
3
star
63

dis-cover-packages-analysis

Debian C++ packages analysis with the dis-cover tool
Jupyter Notebook
3
star
64

teezz-fuzzing-engine

Python
3
star
65

BLURtooth

2
star
66

WOOT21

HTML
2
star
67

teezz-introspection

C++
2
star
68

seccell-seL4

The seL4 microkernel
C
2
star
69

se-valgrind

C
2
star
70

dimva24

HTML
2
star
71

dibartolomeo-msthesis

Luca Di Bartolomeo's master thesis
TeX
1
star
72

security-group.epfl.ch

HTML
1
star
73

teezz-adb

Python adb wrapper.
Python
1
star
74

seccell-riscv-binutils-gdb

C
1
star
75

seccell-riscv-gnu-toolchain

GNU toolchain for RISC-V, including GCC
C
1
star
76

Ancile

C++
1
star
77

securecells

SecureCells website repository
1
star
78

Igor-evaluations

1
star
79

seccell-seL4_libseccells

Userspace library for SecCells-specific functionality
C
1
star
80

seccell-opensbi

C
1
star
81

seccell-sel4-playground

A project based on the seL4 microkernel to implement and test new functionality based on the SecCells architecture
C
1
star
82

seccell-qemu

C
1
star
83

seccell-memcache

In-memory cache
C
1
star
84

virtfuzz-bugs

C
1
star
85

seccell-browser

C
1
star
86

JournalBot

Python
1
star
87

seccell-archtests

Testing basic architectural functionality for SecureCells
C
1
star