trusslab / charm
☆20Updated 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
- ☆71Updated 5 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 6 years ago
- ☆53Updated 5 years ago
- FoRTE-Research's fuzzing benchmarks☆56Updated 6 years ago
- ☆96Updated 6 years ago
- ☆24Updated 6 years ago
- K-Miner☆75Updated 5 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated last year
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆88Updated 11 months ago
- Dytan Taint Analysis Framework on Linux 64-bit☆46Updated 10 years ago
- ☆46Updated 3 years ago
- Fuzzing with controlled compilation☆28Updated 2 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- The collection of programs for evaluating fuzzing techniques☆20Updated 7 years ago
- ☆39Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆101Updated 2 years ago
- ☆38Updated 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
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- Source code release for the KRace project☆28Updated 3 years ago
- BigMAC: Analysis tool to introspect and query Android security policies.☆38Updated last year
- ☆20Updated 3 years ago
- ☆53Updated 7 years ago
- run AFL with pintool☆65Updated 5 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆61Updated 5 years ago
- Source code of the double-fetch bug detection approach based on Coccinelle engine☆10Updated 8 years ago
- Source-binary patch presence test system.☆83Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago