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 6 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:
- 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 …☆63Aug 1, 2025Updated last year
- ☆14Sep 29, 2025Updated 10 months ago
- 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
- Rule-based Dynamic Binary Translator☆12Sep 15, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆22Sep 10, 2024Updated last year
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆137Apr 10, 2025Updated last year
- ☆18Apr 7, 2023Updated 3 years ago
- 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 2 months ago
- SightHouse is a tool designed to assist reverse engineers by retrieving information and metadata from programs and identifying similar fu…☆84Jul 8, 2026Updated last month
- 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 7 months ago
- ☆80Jan 14, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆57Apr 24, 2026Updated 3 months ago
- a small flask app that serves dynamic badge images based on data from Jenkins CI☆11Nov 20, 2020Updated 5 years ago
- code coverage for coding agents☆22Mar 27, 2026Updated 4 months ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 3 years ago
- A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.☆51Jan 22, 2026Updated 6 months ago
- ☆31Jan 12, 2022Updated 4 years ago
- Nuanced LSP is a containerized code navigation service☆20Mar 5, 2026Updated 5 months ago
- Library to manipulate and create Sourcetrail databases☆24Jul 6, 2026Updated last month
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- MBA deobfuscator via Program Synthesis and Term Rewriting☆71Jul 6, 2026Updated last month
- The Captive Hypervisor☆47Dec 11, 2025Updated 8 months ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆21Nov 24, 2021Updated 4 years ago
- Stabilizer: Rigorous Performance Evaluation☆27Aug 15, 2023Updated 2 years ago
- A collection of kernels used for CI builds☆19Jun 23, 2026Updated last month
- ☆39Sep 27, 2022Updated 3 years ago
- LLVM Without The ROP Gadgets!☆24Jan 9, 2024Updated 2 years ago
- This GPU based computer vision software tracks a color-grid pattern at ~60Hz using an Android phone for effective position tracking in VR…☆13Feb 14, 2018Updated 8 years 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆66May 4, 2025Updated last year
- Practical Data-Only Attack Generation☆47Jun 7, 2024Updated 2 years ago
- YANGMAN offers dynamically generated UI forms and native JSON representation based on RESTCONF APIs☆10Sep 22, 2016Updated 9 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆161Aug 31, 2022Updated 3 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆38Aug 17, 2023Updated 2 years ago
- 🦘 Clangaroo: Fast C++ code intelligence for LLMs via MCP☆23Jan 25, 2026Updated 6 months ago
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17May 20, 2022Updated 4 years ago