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 8 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 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
- Rule-based Dynamic Binary Translator☆13Sep 15, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆23Sep 10, 2024Updated 2 years ago
- ☆18Apr 7, 2023Updated 3 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 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 4 months ago
- SightHouse is a tool designed to assist reverse engineers by retrieving information and metadata from programs and identifying similar fu…☆88Sep 22, 2026Updated last week
- 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
- ☆78Jan 14, 2024Updated 2 years ago
- 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.
- 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 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☆23Mar 27, 2026Updated 6 months ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 3 years ago
- ☆31Jan 12, 2022Updated 4 years ago
- Nuanced LSP is a containerized code navigation service☆21Mar 5, 2026Updated 6 months ago
- Library to manipulate and create Sourcetrail databases☆24Jul 6, 2026Updated 2 months ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆74Jul 6, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 3 years ago
- A collection of kernels used for CI builds☆19Updated this week
- ☆39Sep 27, 2022Updated 4 years ago
- Submit a description of your app, integration, project, or ideas here.☆11Oct 11, 2022Updated 3 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
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆68May 4, 2025Updated last year
- Go language implementation of selected algorithms from the "Algorithms in a Nutshell" book. The source code attempts to follow, as closel…☆14Dec 31, 2011Updated 14 years ago
- Practical Data-Only Attack Generation☆48Jun 7, 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.
- Control Orchestration Protocol☆10May 12, 2017Updated 9 years ago
- Docker project to have an emulated android environment with automatic SSL/TLS certificates with Nginx using Lua☆12Dec 22, 2020Updated 5 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆41Updated this week
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆162Aug 31, 2022Updated 4 years ago
- My attempt at creating an open-source licence that works on good faith, specifically crafted for adblock filterlist maintainers.☆16Dec 2, 2021Updated 4 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆38Aug 17, 2023Updated 3 years ago
- 🦘 Clangaroo: Fast C++ code intelligence for LLMs via MCP☆23Jan 25, 2026Updated 8 months ago