☆11Feb 25, 2023Updated 3 years ago
Alternatives and similar repositories for UAFVerif
Users that are interested in UAFVerif are comparing it to the libraries listed below
Sorting:
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆21Mar 8, 2025Updated 11 months ago
- The Racoon2 project is a joint effort which provides an implementation of key management system for IPsec. The implementation is called R…☆27Sep 8, 2020Updated 5 years ago
- ☆34Oct 7, 2025Updated 4 months ago
- PoC for CVE-2017-0075☆37Sep 12, 2019Updated 6 years ago
- run AFL with dynamorio☆37Aug 24, 2020Updated 5 years ago
- We borrow the concept of 'personas' from UX/service design and apply it to threat actors to improve understanding between security, techn…☆11Jun 17, 2020Updated 5 years ago
- This repo hosts Terraform code for generating and analyzing Software Bill of Materials (SBOM) for Amazon ECR images. It helps identify Am…☆16Oct 18, 2023Updated 2 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- CVE-2023-40028 affects Ghost, an open source content management system, where versions prior to 5.59.1 allow authenticated users to uploa…☆13Jan 7, 2025Updated last year
- ☆11Jan 6, 2020Updated 6 years ago
- correlate an SPI capture of an AMD boot procedure to the PSP firmware components☆15Jan 13, 2026Updated last month
- ☆13Jan 21, 2026Updated last month
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- CSI to FDP link serializer board based on the Texas instruments DS90UB953 up to 2.3MP/60fps. Power over coax implementation at 24V cable …☆11Oct 19, 2023Updated 2 years ago
- ☆11Mar 17, 2021Updated 4 years ago
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- TokyoWesterns CTF 4th 2018 shrine☆12Aug 23, 2019Updated 6 years ago
- Security Notes☆11Oct 10, 2018Updated 7 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- 作为博客☆11Apr 30, 2020Updated 5 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- Hide the memory of the process in the Linux kernel.☆10Dec 8, 2020Updated 5 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Aug 17, 2017Updated 8 years ago
- ☆10Jul 24, 2017Updated 8 years ago
- The command-line client for Journal☆12Oct 26, 2024Updated last year
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Sep 29, 2022Updated 3 years ago
- ☆47Nov 15, 2021Updated 4 years ago
- ☆12Nov 2, 2022Updated 3 years ago
- Minimal configuration component test runner supporting browser testing, phantomjs, and saucelabs.☆97Nov 7, 2019Updated 6 years ago
- Mine XMR on basically any device ever☆10Aug 15, 2024Updated last year
- IPsec and IKEv2 for the Contiki OS! See examples/ipsec/README.md to get started!☆17Jan 20, 2014Updated 12 years ago
- ☆13Dec 20, 2025Updated 2 months ago
- Network Hosted Kernel Virtual Machine (KVM) on Cisco IOS XE☆16Aug 1, 2016Updated 9 years ago