-
Microsoft Research, Redmond
-
CvvT.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedMar 20, 2025 -
rust_elfloader Public
Forked from weizhiao/rust-elfloaderA loader capable of loading and relocating various forms of ELF files from memory or files.
Rust Apache License 2.0 UpdatedMar 3, 2025 -
-
syzkaller Public
Forked from google/syzkallersyzkaller is an unsupervised, coverage-guided kernel fuzzer
-
linux-insides Public
Forked from 0xAX/linux-insidesA little bit about a linux kernel
Python Other UpdatedDec 5, 2022 -
oak Public
Forked from project-oak/oakMeaningful control of data in distributed systems.
Rust Apache License 2.0 UpdatedOct 21, 2022 -
-
-
healer Public
Forked from SunHao-0/healerKernel fuzzer inspired by Syzkaller
Rust Apache License 2.0 UpdatedDec 2, 2020 -
Driver-Security-Analyzer Public
Forked from alibaba-edu/Driver-Security-AnalyzerDriver Security Analyzer
C MIT License UpdatedOct 27, 2020 -
p-joker Public
Forked from lilang-wu/p-jokerp-joker -- iOS/MacOS kernelcache/kexts analysis tool
Python UpdatedMay 18, 2020 -
AFL Public
Forked from google/AFLamerican fuzzy lop - a security-oriented fuzzer
C Apache License 2.0 UpdatedApr 15, 2020 -
This is the main S2E repository. Visit https://s2e.systems/docs to get started.
C++ UpdatedApr 14, 2020 -
aflsmart Public
Forked from aflsmart/aflsmartSmart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)
C UpdatedFeb 5, 2020 -
driller-afl Public
Forked from shellphish/driller-aflA version of AFL tailored for Driller's use in analyzing CGC binaries.
C UpdatedJan 22, 2020 -
samples Public
Forked from CyberGrandChallenge/samplesDARPA Cyber Grand Challenge Sample Challenges
C UpdatedJan 14, 2020 -
savior-source Public
Forked from evanmak/savior-sourcesource code for savior fuzzer
LLVM Apache License 2.0 UpdatedNov 20, 2019 -
janus Public
Forked from sslab-gatech/janusJanus: a state-of-the-art file system fuzzer on Linux
C MIT License UpdatedAug 15, 2019 -
neuzz Public
Forked from Dongdongshe/neuzzSimple experiments on neural network assisted fuzzer
-
kernel4.20_bpf_LPE Public
Forked from ww9210/kernel4.20_bpf_LPEexploit code for a bpf heap overflow vulnerability
C UpdatedNov 28, 2018 -
CROWN Public
Forked from kunwoo1209/CROWNCROWN: Concolic testing for Real-wOrld softWare aNalysis
OCaml Other UpdatedNov 9, 2018 -
dr_checker Public
Forked from ucsb-seclab/dr_checkerDR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
C++ BSD 2-Clause "Simplified" License UpdatedNov 5, 2018 -
angr-dev Public
Forked from angr/angr-devSome helper scripts to set up an environment for angr development.
Shell BSD 2-Clause "Simplified" License UpdatedOct 10, 2018 -
kAFL Public
Forked from RUB-SysSec/kAFLCode for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
Python GNU General Public License v2.0 UpdatedSep 25, 2018 -
-
kernel-analyzer Public
Forked from sslab-gatech/kernel-analyzerC++ GNU General Public License v3.0 UpdatedAug 1, 2018 -
Linux_kernel_exploits Public
Forked from ww9210/Linux_kernel_exploitsI will publish some Linux kernel exploits for various real world kernel vulnerabilities here. the samples are uploaded for education purposes for red and blue teams.
-
-
-
crawler_sqlmap Public
it's quite self explanatory: a crawler with sqlmap