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…
☆30Jan 20, 2026Updated last month
Alternatives and similar repositories for kflat
Users that are interested in kflat are comparing it to the libraries listed below
Sorting:
- AoT is a system for automatically generating off-target test harness by using build information.☆39Dec 6, 2024Updated last year
- Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build …☆62Aug 1, 2025Updated 6 months ago
- ☆12Sep 29, 2025Updated 5 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 4 months ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆34Feb 4, 2025Updated last year
- Rule-based Dynamic Binary Translator☆11Sep 15, 2020Updated 5 years ago
- ☆21Sep 10, 2024Updated last year
- a plugin to calculate complexity of executable's functions☆18May 17, 2022Updated 3 years ago
- The Captive Hypervisor☆45Dec 11, 2025Updated 2 months ago
- ☆39Sep 27, 2022Updated 3 years ago
- ☆75Jan 14, 2024Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- Practical Data-Only Attack Generation☆44Jun 7, 2024Updated last year
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆129Apr 10, 2025Updated 10 months ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆56Jan 22, 2025Updated last year
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.☆40Jan 22, 2026Updated last month
- Library to manipulate and create Sourcetrail databases☆23May 27, 2025Updated 9 months ago
- ☆19Apr 7, 2023Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- ☆58May 10, 2024Updated last year
- Stabilizer: Rigorous Performance Evaluation☆27Aug 15, 2023Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 9 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆122Updated this week
- LLVM Without The ROP Gadgets!☆25Jan 9, 2024Updated 2 years ago
- call gates as stable comunication channel for NT x86 and Linux x86_64☆32Aug 11, 2023Updated 2 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆162Aug 31, 2022Updated 3 years ago
- Security Harness Engineering for Robust Program Analysis☆110Jan 23, 2026Updated last month
- ☆72Nov 1, 2023Updated 2 years ago
- CTADL is a static taint analysis tool☆51Aug 29, 2025Updated 6 months ago
- Same-Architecture Firmware Rehosting and Fuzzing☆130Dec 19, 2024Updated last year
- ☆187Nov 29, 2023Updated 2 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆64May 4, 2025Updated 9 months ago
- Symbolic Execution Over Processor Traces☆126Aug 14, 2024Updated last year
- White-box analytic framework based on LLVM☆39Jun 10, 2019Updated 6 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆75Nov 27, 2021Updated 4 years ago