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…
☆27Updated 4 months ago
Alternatives and similar repositories for kflat:
Users that are interested in kflat are comparing it to the libraries listed below
- Fuzzing with controlled compilation☆28Updated 2 years ago
- Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build …☆47Updated 6 months ago
- ☆16Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- Collection of syzkaller bug reproducers for Linux☆45Updated 2 years ago
- AoT is a system for automatically generating off-target test harness by using build information.☆37Updated 4 months ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆36Updated 5 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- ☆24Updated 2 years ago
- ☆53Updated 11 months ago
- Tutorial to write qemu plugins☆32Updated 7 years ago
- A Hybrid Alias Analysis☆18Updated last year
- ☆14Updated 7 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated 2 months ago
- ☆42Updated 3 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆29Updated 4 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- An external project example using SVF as a library☆22Updated 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
- An approximate solver for concolic execution☆18Updated 3 years ago
- ☆37Updated 2 years ago
- Peripheral Transplantation to Rehost Embedded Linux kernels☆16Updated 3 years ago
- ☆18Updated last year
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆62Updated last year
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 10 months 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
- ☆16Updated 6 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years 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