Linux kernels (CGC DECREE and vanilla) with S2E extensions
☆24Jul 6, 2024Updated last year
Alternatives and similar repositories for s2e-linux-kernel
Users that are interested in s2e-linux-kernel are comparing it to the libraries listed below
Sorting:
- libs2e.so☆19Dec 19, 2020Updated 5 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- QEMU VM with generic KVM extensions for symbolic execution☆26Sep 24, 2025Updated 5 months ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 5 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- Bbuzz: a bit-aware network protocol fuzzing and reverse engineering framework☆23Jan 27, 2021Updated 5 years ago
- DARPA Cyber Grand Challenge Documentation☆117Feb 1, 2017Updated 9 years ago
- IDA scripts that facilitate reverse engineering☆16Aug 10, 2016Updated 9 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 10 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated 7 months ago
- DARPA Cyber Grand Challenge Linux source code☆17Jul 9, 2015Updated 10 years ago
- x86 Dynamic Binary Translator Library☆34Dec 19, 2020Updated 5 years ago
- Tiny Code Generator Library☆46Jan 16, 2021Updated 5 years ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆30Jul 12, 2016Updated 9 years ago
- Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB☆13Dec 30, 2013Updated 12 years ago
- Miscellaneous one-off scripts, exploits, tools, sample code, ...☆10Feb 13, 2019Updated 7 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆30Feb 23, 2019Updated 7 years ago
- Modular And Compositional analysis with KLEE Engine☆117Dec 17, 2019Updated 6 years ago
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 2 years ago
- Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…☆15Sep 2, 2016Updated 9 years ago
- A curated list of awesome baseband research resources☆16Sep 8, 2019Updated 6 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Convert a raw firmware image to an ELF file.☆14Feb 6, 2019Updated 7 years ago
- ☆28Aug 6, 2022Updated 3 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Symbolic Execution of Android Framework☆15Jun 25, 2017Updated 8 years ago
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago
- Security-Oriented Analysis of Application Programs☆13Dec 14, 2018Updated 7 years ago
- ☆12Jul 3, 2019Updated 6 years ago
- Combined kernel source code for the Samsung Galaxy G970F, G973F and G975F. Use in combination with Magisk and TWRP.☆10Nov 17, 2020Updated 5 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- Slides(In both CN and EN) & WP(outdated) of my topic in HITCON 2019 about bug hunting in Android NFC☆15Aug 26, 2019Updated 6 years ago
- Tool to view heap chunks and memory writes (using pintool)☆42Dec 8, 2018Updated 7 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆96Feb 5, 2026Updated 3 weeks ago
- Some tools for reversing QDSP hexagon☆41Dec 25, 2020Updated 5 years ago
- Neural Network Semantic Parser for Almond☆15Apr 11, 2019Updated 6 years ago
- User defined static call-tree constraints in C++. This is the implementation of the tool for my masters thesis.☆14Sep 25, 2018Updated 7 years ago