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…
☆27Updated 7 months ago
Alternatives and similar repositories for kflat
Users that are interested in kflat are comparing it to the libraries listed below
Sorting:
- Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build …☆50Updated 8 months ago
- A Hybrid Alias Analysis☆19Updated last year
- AoT is a system for automatically generating off-target test harness by using build information.☆37Updated 6 months ago
- Fuzzing with controlled compilation☆29Updated 2 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated last week
- An approximate solver for concolic execution☆17Updated 2 months ago
- An external project example using SVF as a library☆23Updated last month
- ☆17Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- ☆24Updated 6 years ago
- ☆38Updated 2 years ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆26Updated 2 years ago
- ☆27Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 7 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated 7 months ago
- ☆20Updated last week
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- Tutorial to write qemu plugins☆33Updated 8 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆30Updated 4 years ago
- Configurable instrumentation of LLVM bitcode☆34Updated 3 months ago
- ☆21Updated 3 years ago
- A fuzzer setup to fuzz libc functions.☆16Updated 2 years ago
- ☆24Updated 2 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Updated 10 months ago
- Library for manipulating gdb in batch mode☆21Updated last year
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- Collection of syzkaller bug reproducers for Linux☆45Updated 3 years ago
- ☆11Updated last month