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
- ☆17Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- ☆39Updated 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
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- ☆43Updated 3 months ago
- ☆27Updated 3 months 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
- Library for manipulating gdb in batch mode☆20Updated last year
- ☆25Updated 2 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated 10 months ago
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- An approximate solver for concolic execution☆18Updated 4 months ago
- ☆19Updated 3 months ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆72Updated 3 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆96Updated 2 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- A data-flow-guided fuzzer☆123Updated 2 years ago
- Juliet C/C++ Dynamic Test Suite☆30Updated 2 years ago
- ☆55Updated last year
- Source code of ASAN--☆99Updated last year
- ☆27Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 3 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆31Updated last year
- Symbolic Execution Over Processor Traces☆122Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- ☆17Updated 5 years ago
- Scalable Validator for Binary Lifters☆57Updated 5 years ago