Samsung / kflatLinks
KFLAT is a tool to serialize memory of selected variables from the running Linux kernel and organize it into a single memory block of consecutive addresses. It relies on recipes written in the code that specify the type and memory layout of the variables being serialized. After the flatten memory image is created KFLAT allows to re-instantiate t…
☆28Updated 9 months ago
Alternatives and similar repositories for kflat
Users that are interested in kflat are comparing it to the libraries listed below
Sorting:
- A Hybrid Alias Analysis☆19Updated 2 years ago
- ☆18Updated 2 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- ☆39Updated 2 years ago
- ☆42Updated 2 months ago
- ☆25Updated 2 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆72Updated 3 years ago
- ☆19Updated 2 months ago
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- ☆24Updated 3 months ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆29Updated last year
- Symbolic Execution Over Processor Traces☆122Updated last year
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆35Updated last year
- ☆25Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- An approximate solver for concolic execution☆18Updated 4 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 3 years ago
- Juliet C/C++ Dynamic Test Suite☆30Updated 2 years ago
- Source code release for the KRace project☆29Updated 3 years ago
- ☆14Updated 3 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Updated 7 months ago
- ☆75Updated 3 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- A deterministic, fuzzable pthread implementation☆42Updated 2 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆30Updated 4 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆23Updated 3 years ago
- ☆70Updated last year
- ☆48Updated 3 years ago