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…
☆24Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for kflat
- Fuzzing with controlled compilation☆27Updated last year
- AoT is a system for automatically generating off-target test harness by using build information.☆37Updated last month
- A Hybrid Alias Analysis☆18Updated last year
- ☆16Updated last year
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- An standalone execution trace library built on DynamoRIO.☆21Updated 2 years ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- ☆36Updated 2 years ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆57Updated last year
- Juliet C/C++ Dynamic Test Suite☆27Updated last year
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆35Updated last week
- Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build …☆44Updated last month
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- The Use of Likely Invariants as Feedback for Fuzzers☆86Updated 2 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 6 months ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆64Updated 2 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆50Updated last month
- ☆67Updated 4 months ago
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago
- ☆81Updated 2 months ago
- ☆14Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- An external project example using SVF as a library☆19Updated last month
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆79Updated 3 weeks ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆42Updated 8 months ago
- 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