mitre-cyber-academy / 2022-ectf-insecure-exampleLinks
Insecure reference example for the 2022 Collegiate eCTF
☆13Updated 3 years ago
Alternatives and similar repositories for 2022-ectf-insecure-example
Users that are interested in 2022-ectf-insecure-example are comparing it to the libraries listed below
Sorting:
- PoC of fuzzing closed-source userspace binaries with KVM☆165Updated last year
 - CTF writeups☆42Updated 3 years ago
 - Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆76Updated 2 years ago
 - Platypus Educational Samples☆21Updated 4 years ago
 - Simple script to find kernel objects of a certain size in the Linux kernel☆110Updated 2 years ago
 - VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆130Updated last year
 - InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆56Updated 2 weeks ago
 - This repository contains several tools to perform Prefetch Side-Channel Attacks☆60Updated 8 years ago
 - Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
 - Coverage-Guided Greybox Distributed Fuzzer☆132Updated 6 months ago
 - ☆124Updated last week
 - A versatile and easy-to-use static binary patching tool.☆45Updated last month
 - OGHarn: Oracle-guided Fuzzing Harness Generation☆46Updated 2 months ago
 - ☆184Updated last year
 - Code and exercises for a workshop on z3 and angr☆233Updated 4 years ago
 - A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆314Updated last week
 - Proof-of-concept code for the SMoTherSpectre exploit.☆75Updated 5 years ago
 - Ledger Donjon CTF 2020☆17Updated 3 years ago
 - An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
 - ☆136Updated 3 years ago
 - MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆196Updated 3 years ago
 - Fuzzing Embedded Systems using Hardware Breakpoints☆189Updated last year
 - A de-socketing library for fuzzing.☆160Updated 2 months ago
 - A fuzzing framework for Hexagon baseband firmware using QEMU system emulation.☆119Updated 3 weeks ago
 - μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆31Updated 3 years ago
 - HeapHopper is a bounded model checking framework for Heap-implementations☆219Updated 4 months ago
 - High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆153Updated last year
 - ☆45Updated last week
 - ☆75Updated last year
 - Blogpost about optimizing binary-only fuzzing with AFL++☆69Updated 2 years ago