HexHive/securecells HexHive/securecells

  • Stars
    star
    1
  • Language
  • Created over 1 year ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HexHive/securecells
github

HexHive

Reviews

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

Repository Details

SecureCells website repository

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

specrop

Code repository for experiments in SpecROP paper
C
11
star
42

WarpAttack

JavaScript
11
star
43

hexhive.github.io

HexHive homepage
HTML
10
star
44

nesCheck

C++
9
star
45

SyzRisk

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

Crystallizer

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

retrowrite-dev

Retrowrite Development (Internal) Repository
7
star
48

SURGEON

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

EL3XIR

Fuzzing Secure Monitor Implementations
C
6
star
50

EPOXY-llvm

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

dis-cover

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

specrop-public

Code repository for experiments in SpecROP paper
C
6
star
53

midas

Systematic Kernel TOCTTOU Protection
C
6
star
54

IOVFI

An accurate and resilient semantic function identifier
Python
6
star
55

simple_attacks

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

spill_the_tea

Python
5
star
57

halucinator-tutorial

Tutorial for HALucinator
C
5
star
58

teezz-ca-driver

C
5
star
59

CUP

5
star
60

teezz-caid

TEEzz's Client Application Identification
Python
4
star
61

EPOXY-clang

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

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
63

GAENScan

Java
3
star
64

dis-cover-packages-analysis

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

teezz-fuzzing-engine

Python
3
star
66

BLURtooth

2
star
67

WOOT21

HTML
2
star
68

teezz-introspection

C++
2
star
69

seccell-seL4

The seL4 microkernel
C
2
star
70

se-valgrind

C
2
star
71

dimva24

HTML
2
star
72

dibartolomeo-msthesis

Luca Di Bartolomeo's master thesis
TeX
1
star
73

security-group.epfl.ch

HTML
1
star
74

teezz-adb

Python adb wrapper.
Python
1
star
75

seccell-riscv-binutils-gdb

C
1
star
76

seccell-riscv-gnu-toolchain

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

Ancile

C++
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