Samsung / kflat
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…
☆25Updated 4 months ago
Alternatives and similar repositories for kflat:
Users that are interested in kflat are comparing it to the libraries listed below
- Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build …☆47Updated 5 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- A Hybrid Alias Analysis☆18Updated last year
- Fuzzing with controlled compilation☆27Updated last year
- AoT is a system for automatically generating off-target test harness by using build information.☆37Updated 3 months ago
- ☆20Updated 3 years ago
- Pangine disassembly ground truth benchmark☆11Updated 4 years ago
- ☆13Updated 6 months ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- ☆37Updated 2 years ago
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- ☆24Updated 2 years ago
- ☆20Updated 6 months ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆66Updated 3 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆32Updated 2 months ago
- ☆25Updated last year
- Sys, but no longer in Haskell☆18Updated 3 years ago
- Collection of syzkaller bug reproducers for Linux☆44Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆14Updated 2 years ago
- ☆53Updated 5 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆82Updated last month
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago
- ☆38Updated 4 years ago
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆28Updated 2 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 4 years ago
- Evolving fuzzers with large language models☆17Updated last year
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated 10 months ago
- AFL enhanced for concurrency bug and vulnerabilities☆20Updated 4 years ago
- OSS-Fuzz Public Corpora Crawler☆22Updated 2 years ago