R3x/linux-rootkits
A collection of Linux kernel rootkits found across the internet taken and put together
PhD student @ Purdue. Security, CTFs and OpenSource <3
Repositories
R3x/How2Kernel
This Repository aims at giving a basic idea about Kernel Exploitation.
R3x/Purs3cur3-vuln-samples
Vulnerability Samples for the meeting
R3x/random-projects
Contains Random projects that I do for fun and profit.
R3x/bc-cov
Get coverage from llvm bitcode format, by instrumenting and running it with a custom LLVM pass and a coverage collector utility
R3x/RE-helper
A tool that acts as an assistant for Reverse Engineering challenges in CTFs
R3x/PcapPlusPlus
PcapPlusPlus is a multiplatform C++ library for capturing, parsing and crafting of network packets. It is designed to be efficient, powerful and easy to use. It provides C++ wrappers for the most popular packet processing engines such as libpcap, Npcap, WinPcap, DPDK and PF_RING.
R3x/Softmmu
Implemented an MMU in the form of a Linux kernel module to convert virtual addresses to physical addresses for the X86 architecture with PAE support
R3x/taskmux
Using tmux to run tasks in parallel - useful for quick experiments and stuff
R3x/klee
KLEE Symbolic Execution Engine
R3x/netbsd-fuzzing-aids
Aids to help in fuzzing NetBSD kernels
R3x/aflplusplus-custom
R3x/mblaze
Unix utilities to deal with Maildir
R3x/klee-uclibc
KLEE's version of uClibc
R3x/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
R3x/testing
R3x/varanz
R3x/bc-debug
Easy printf debugging for LLVM bitcode files
R3x/R3x.github.io
R3x/easykernel
R3x/patcherex
Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
R3x/codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
R3x/smt2hr
Pretty print the smt2 files into something human readable
R3x/klee-tools
A set of additional tools for KLEE
R3x/ktest-creator
Provides the ability to create custom ktest files for klee given the input format
R3x/magma-poc
Collecting and storing ground truth and crash logs for the available bugs in the magma dataset
R3x/sqlsmith
A random SQL query generator
R3x/REtutor
R3x/2020submissions
Pwn2Win CTF 2020 flag submissions
R3x/src
Automatic conversion of the NetBSD src CVS module, use with care