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 5 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 11 months ago
- ☆12Sep 29, 2025Updated 9 months ago
- ☆22Sep 10, 2024Updated last year
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆134Apr 10, 2025Updated last year
- MBA deobfuscator via Program Synthesis and Term Rewriting☆69Oct 13, 2025Updated 8 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- ☆60May 10, 2024Updated 2 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆57Apr 24, 2026Updated 2 months ago
- ☆79Jan 14, 2024Updated 2 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- a small flask app that serves dynamic badge images based on data from Jenkins CI☆11Nov 20, 2020Updated 5 years ago
- ☆31Jan 12, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Library to manipulate and create Sourcetrail databases☆23May 27, 2025Updated last year
- Security Harness Engineering for Robust Program Analysis☆136Jan 23, 2026Updated 5 months ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 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
- ☆39Sep 27, 2022Updated 3 years ago
- LLVM Without The ROP Gadgets!☆24Jan 9, 2024Updated 2 years ago
- CTADL is a static taint analysis tool☆63Jun 24, 2026Updated last week
- 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
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆40Updated this week
- 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…☆65May 4, 2025Updated last year
- Practical Data-Only Attack Generation☆47Jun 7, 2024Updated 2 years ago
- 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
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆161Aug 31, 2022Updated 3 years ago
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated last year
- ☆12Aug 8, 2019Updated 6 years ago
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17May 20, 2022Updated 4 years ago
- Same-Architecture Firmware Rehosting and Fuzzing☆130Dec 19, 2024Updated last year
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆132Jun 25, 2026Updated last week
- 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.
- ☆192Nov 29, 2023Updated 2 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- POC of K8s Nodeport service using BPF☆14Dec 5, 2022Updated 3 years ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆96May 24, 2026Updated last month
- ☆45Apr 12, 2022Updated 4 years ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆18Jul 14, 2022Updated 3 years ago