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…
☆32Jan 20, 2026Updated 9 months ago
Alternatives and similar repositories for kflat
Users that are interested in kflat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build …☆63Aug 1, 2025Updated last year
- AoT is a system for automatically generating off-target test harness by using build information.☆39Dec 6, 2024Updated last year
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆37Feb 4, 2025Updated last year
- ☆14Sep 29, 2025Updated last year
- Self-hosted, agentic vulnerability research for binaries & firmware: an AI agent decompiles, fuzzes, and verifies exploits inside a sandb…☆21Aug 15, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆79Jan 14, 2024Updated 2 years ago
- ☆23Sep 10, 2024Updated 2 years ago
- ☆14Aug 14, 2026Updated 2 months ago
- CTADL is a static taint analysis tool☆67Jun 24, 2026Updated 3 months ago
- ☆18Apr 7, 2023Updated 3 years ago
- ☆10Aug 28, 2020Updated 6 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Main goal of project is to reduce probability of key leaking from device. CKM stores symmetric and asymmetric keys and provides crypto op…☆16Jan 15, 2016Updated 10 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆139Apr 10, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- ☆60May 10, 2024Updated 2 years ago
- ☆17May 26, 2026Updated 4 months ago
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.☆24Dec 25, 2025Updated 9 months ago
- a small flask app that serves dynamic badge images based on data from Jenkins CI☆11Nov 20, 2020Updated 5 years ago
- Recover function names, prototypes, and library origins in binaries across IDA, Ghidra, and Binary Ninja.☆93Oct 8, 2026Updated 2 weeks ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 3 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- code coverage for coding agents☆23Mar 27, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆32Jan 12, 2022Updated 4 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 3 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆58Apr 24, 2026Updated 5 months ago
- A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.☆52Jan 22, 2026Updated 9 months ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆96May 24, 2026Updated 4 months ago
- ☆20Feb 6, 2023Updated 3 years ago
- A set of tests for bpf-iptables used for the paper accepted to CCR☆10Apr 12, 2019Updated 7 years ago
- A Binary Ninja plugin using backward slicing of variables as a driver for static taint analysis☆86Sep 24, 2026Updated 3 weeks ago
- LLVM Without The ROP Gadgets!☆24Jan 9, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Nuanced LSP is a containerized code navigation service☆22Mar 5, 2026Updated 7 months ago
- Library to manipulate and create Sourcetrail databases☆24Oct 14, 2026Updated last week
- Stabilizer: Rigorous Performance Evaluation☆27Aug 15, 2023Updated 3 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆21Nov 24, 2021Updated 4 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆74Jul 6, 2026Updated 3 months ago
- This is an implementation of PartitionSort as described in "A Sorted-Partitioning Approach to Fast and Scalable Dynamic Packet Classifica…☆12Dec 6, 2016Updated 9 years ago
- A bot for the popular mobile game HQ Trivia☆10Mar 14, 2018Updated 8 years ago