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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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☆26Updated this week
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- x86 Dynamic Binary Translator Library☆33Dec 19, 2020Updated 5 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- Tiny Code Generator Library☆46Jan 16, 2021Updated 5 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- DARPA Cyber Grand Challenge Linux source code☆18Jul 9, 2015Updated 10 years ago
- Modular And Compositional analysis with KLEE Engine☆118Dec 17, 2019Updated 6 years ago
- Cisco RV110w UPnP stack overflow☆28Sep 30, 2021Updated 4 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated 8 months ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆30Feb 23, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- IDA scripts that facilitate reverse engineering☆16Aug 10, 2016Updated 9 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 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
- AFL coverage tool using Clang SanitizerCoverage☆37Nov 13, 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
- SALT - SLUB ALlocator Tracer for the Linux kernel☆157Sep 10, 2018Updated 7 years ago
- Tracking CVEs for the linux Kernel☆750Apr 9, 2024Updated 2 years ago
- 每周定期更新论文笔记分享的markdown以及图片☆188Apr 6, 2021Updated 5 years ago
- Miscellaneous one-off scripts, exploits, tools, sample code, ...☆10Feb 13, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Timeless debugging with symbolic execution and processor trace☆75Jan 23, 2021Updated 5 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Mar 14, 2022Updated 4 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 10 years ago
- ☆20Jul 18, 2019Updated 6 years ago
- ☆28Aug 6, 2022Updated 3 years ago
- Convert a raw firmware image to an ELF file.☆14Feb 6, 2019Updated 7 years ago
- xinetd-kafel is a more secure replacement for xinetd with secure computing (seccomp, only work on linux)☆18Jun 9, 2018Updated 7 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆96Mar 30, 2026Updated last week
- 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.
- Re-randomizing the memory layout of a process at runtime☆21May 28, 2016Updated 9 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- linux kernel LPE using hw_breakpoint attack tech demo☆26Mar 24, 2023Updated 3 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆91May 12, 2022Updated 3 years ago
- ☆53Jun 13, 2019Updated 6 years ago
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 2 years ago
- Bbuzz: a bit-aware network protocol fuzzing and reverse engineering framework☆23Jan 27, 2021Updated 5 years ago