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 2 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 …☆62Aug 1, 2025Updated 8 months ago
- ☆12Sep 29, 2025Updated 6 months ago
- ☆21Sep 10, 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.☆36Feb 4, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Rule-based Dynamic Binary Translator☆12Sep 15, 2020Updated 5 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆131Apr 10, 2025Updated 11 months ago
- ☆19Apr 7, 2023Updated 2 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆65Oct 13, 2025Updated 5 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- ☆59May 10, 2024Updated last year
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆56Mar 27, 2026Updated last week
- ☆76Jan 14, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- Simple template for using Remill on Windows/Linux/macos.☆31Mar 24, 2026Updated last week
- Security Harness Engineering for Robust Program Analysis☆122Jan 23, 2026Updated 2 months ago
- ☆31Jan 12, 2022Updated 4 years ago
- Library to manipulate and create Sourcetrail databases☆23May 27, 2025Updated 10 months ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- The Captive Hypervisor☆44Dec 11, 2025Updated 3 months ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Stabilizer: Rigorous Performance Evaluation☆27Aug 15, 2023Updated 2 years ago
- LLVM Without The ROP Gadgets!☆24Jan 9, 2024Updated 2 years ago
- CTADL is a static taint analysis tool☆57Mar 4, 2026Updated last month
- A collection of kernels used for CI builds☆17Feb 17, 2026Updated last month
- This is an implementation of PartitionSort as described in "A Sorted-Partitioning Approach to Fast and Scalable Dynamic Packet Classifica…☆10Dec 6, 2016Updated 9 years ago
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆64May 4, 2025Updated 11 months ago
- Practical Data-Only Attack Generation☆44Jun 7, 2024Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Aug 17, 2023Updated 2 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆161Aug 31, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆12Aug 8, 2019Updated 6 years ago
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated last year
- YANGMAN offers dynamically generated UI forms and native JSON representation based on RESTCONF APIs☆10Sep 22, 2016Updated 9 years ago
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17May 20, 2022Updated 3 years ago
- ☆19Sep 7, 2025Updated 6 months ago
- ☆187Nov 29, 2023Updated 2 years ago
- Same-Architecture Firmware Rehosting and Fuzzing☆130Dec 19, 2024Updated last year