An educational SAT solver written in Rust
☆13Sep 23, 2023Updated 2 years ago
Alternatives and similar repositories for satire
Users that are interested in satire are comparing it to the libraries listed below
Sorting:
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- kdtree implementation for rust.☆14Mar 24, 2020Updated 5 years ago
- ☆13Dec 14, 2021Updated 4 years ago
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆17Oct 19, 2020Updated 5 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Feb 19, 2026Updated last week
- Rust bindings for googleprojectzero/TinyInst☆25Dec 3, 2025Updated 2 months ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Mar 30, 2020Updated 5 years ago
- Learning how to use IOSurfaceAccelerator☆24Apr 9, 2023Updated 2 years ago
- PoC for CVE-2021-1056, related to GPU Container Security☆16Jan 12, 2021Updated 5 years ago
- The transaction abstraction library and its executors for rust☆18Jun 26, 2017Updated 8 years ago
- CTF challenges that I created☆19Dec 26, 2021Updated 4 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆20Aug 16, 2018Updated 7 years ago
- avoid unwrap() method☆20Feb 6, 2026Updated 3 weeks ago
- Obtains the kernel task port and establishes a kernel function calling primitive on the iPhone XS, iPhone XR, and iPhone 8 running iOS 12…☆29Jan 29, 2019Updated 7 years ago
- some research results of sep☆20Apr 9, 2021Updated 4 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Jul 21, 2024Updated last year
- ☆22Jan 23, 2025Updated last year
- ☆36Mar 23, 2025Updated 11 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆103Updated this week
- Investigating the bug behind CVE-2021-26708☆28Feb 16, 2021Updated 5 years ago
- Fuzzing SILK with AFL☆25May 29, 2020Updated 5 years ago
- ☆29Apr 7, 2023Updated 2 years ago
- Rust crate for numpy NPY files☆31May 15, 2025Updated 9 months ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆32Aug 11, 2023Updated 2 years ago
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆32Feb 1, 2021Updated 5 years ago
- Library to send log as fluentd forwarding message☆26Jan 2, 2018Updated 8 years ago
- binary ninja related code☆37Mar 27, 2025Updated 11 months ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- Structured BVA☆42Apr 26, 2024Updated last year
- Cupid: Automatic Fuzzer Selection for Collaborative Fuzzing☆33Mar 25, 2021Updated 4 years ago
- PCIDriverKit proof-of-concept for CVE-2022-26763☆37Jul 2, 2022Updated 3 years ago
- A collection of POP exploits.☆30Feb 22, 2021Updated 5 years ago
- ☆37Nov 16, 2023Updated 2 years ago
- XNU Image Fuzzer - iOS App for Fuzzing Images with Objective-C Code covering 12 CGCreateBitmap & CGColorSpace Functions working with Raw …☆39Feb 4, 2026Updated 3 weeks ago
- CSP solver for puzzles☆17Updated this week
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆33Feb 28, 2023Updated 3 years ago
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- I will provide details and pocs for some bugs I found.☆41Apr 15, 2024Updated last year
- WebGL fuzzer☆39Mar 13, 2023Updated 2 years ago