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 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
- A Hybrid Alias Analysis☆18Updated last year
- AoT is a system for automatically generating off-target test harness by using build information.☆37Updated 3 months ago
- ☆16Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- An external project example using SVF as a library☆21Updated 3 weeks ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆82Updated last month
- An approximate solver for concolic execution☆18Updated 3 years ago
- ☆37Updated 2 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- ☆20Updated 6 months ago
- Tutorial to write qemu plugins☆31Updated 7 years ago
- ☆24Updated 2 years ago
- ☆25Updated last year
- Scalable Validator for Binary Lifters☆55Updated 4 years 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
- 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
- Pangine disassembly ground truth benchmark☆11Updated 4 years ago
- Concolic analysis tool for Java☆21Updated last year
- 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
- ☆16Updated 5 years ago
- Configurable instrumentation of LLVM bitcode☆34Updated this week
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated 10 months ago
- ☆31Updated 2 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 4 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆24Updated 2 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- ☆70Updated 5 years ago