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 last week
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
- ☆39Updated 3 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆90Updated 3 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Updated 8 months ago
- ☆18Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- Symbolic Execution Over Processor Traces☆123Updated last year
- A LLVM Sanitizer for Symbolic Tracing☆225Updated 3 months ago
- JIGSAW is a fuzzing-based path constraint solver.☆70Updated last year
- Challenging testcases for fuzzers☆72Updated last year
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆31Updated 3 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆30Updated 4 years ago
- ROSA: Finding Backdoors with Fuzzing☆25Updated 3 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- Juliet C/C++ Dynamic Test Suite☆30Updated 2 years ago
- ☆87Updated 6 months ago
- ☆44Updated 4 months ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated 11 months ago
- Source code release for the KRace project☆29Updated 3 years ago
- ☆73Updated 3 years ago
- Library for manipulating gdb in batch mode☆20Updated last year
- Source code of ASAN--☆100Updated last year
- A deterministic, fuzzable pthread implementation☆42Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Updated last year
- ☆55Updated last year
- ☆70Updated last year
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆22Updated 8 months ago
- ☆76Updated 3 years ago
- AoT is a system for automatically generating off-target test harness by using build information.☆38Updated 10 months ago
- SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.☆24Updated 3 years ago