jprx / mock-kernel-2023Links
Official Solution and Source Code for the "Mock Kernel" challenge from UIUCTF 2023
☆49Updated 2 years ago
Alternatives and similar repositories for mock-kernel-2023
Users that are interested in mock-kernel-2023 are comparing it to the libraries listed below
Sorting:
- ☆39Updated 3 months ago
- Pishi is a code coverage tool like kcov for macOS.☆72Updated 7 months ago
- CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU☆46Updated 2 years ago
- ☆55Updated 3 years ago
- WTF Snapshot fuzzing of macOS targets☆97Updated last year
- Welcome to Hoyt's macOS Fuzzing & Code Repo. Contribute Code or Open an Issue or Discussion.☆48Updated 6 months ago
- IDA plugin that resolves PPL calls to the actual underlying PPL function.☆56Updated 2 years ago
- ☆30Updated 2 years ago
- ☆123Updated last year
- ☆13Updated last year
- binary ninja related code☆37Updated 7 months ago
- How to develop your own zero day vulnerabilities for iOS☆28Updated 2 years ago
- ☆29Updated 2 years ago
- XNU Image Fuzzer - iOS App for Fuzzing Images with Objective-C Code covering 12 CGCreateBitmap & CGColorSpace Functions working with Raw …☆37Updated 3 months ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆33Updated 9 months ago
- An XNU kernel race condition bug☆47Updated 9 months ago
- Some presentations I did in the past☆64Updated 2 years ago
- Slides for presentations held at conferences☆47Updated 2 years ago
- Collection of materials relating to FORCEDENTRY☆97Updated last year
- ☆21Updated 10 months ago
- An IOKit kext designed for microarchitectural security research on M1☆44Updated 3 years ago
- Slides of mine.☆12Updated last year
- weggli ruleset scanner for source code and binaries☆35Updated this week
- A firmware base address search tool.☆46Updated last year
- Code of KextFuzz: Fuzzing macOS Kernel EXTensions on Apple Silicon via Exploiting Mitigations (USENIX Security'23)☆85Updated 2 years ago
- An IDAPython module for enhancing c++ support on top of ida_kernelcache☆137Updated 6 months ago
- ☆34Updated 4 years ago
- Driver Security Analyzer☆53Updated 5 years ago
- ☆13Updated 3 years ago
- A tool combining DWARF info and source to search for kernel heap objects☆24Updated last year