trusslab / charm
☆19Updated 6 years ago
Alternatives and similar repositories for charm:
Users that are interested in charm are comparing it to the libraries listed below
- ☆64Updated 6 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 6 years ago
- ☆70Updated 5 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Updated 5 years ago
- K-Miner☆75Updated 5 years ago
- ☆46Updated 3 years ago
- ☆19Updated 6 years ago
- Source-binary patch presence test system.☆83Updated 2 years ago
- ☆53Updated 5 years ago
- FoRTE-Research's fuzzing benchmarks☆56Updated 6 years ago
- OSS-Fuzz - integrated with AFLGo for Patch Testing☆35Updated 7 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 10 months ago
- ☆37Updated 2 years ago
- ☆96Updated 5 years ago
- ☆55Updated 5 years ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated last year
- ☆36Updated 4 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- ☆53Updated 7 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆101Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆25Updated last year
- Dytan Taint Analysis Framework on Linux 64-bit☆46Updated 10 years ago
- Utilities for generating dynamic traces☆90Updated last week
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆79Updated 2 months ago
- ☆64Updated 4 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago