Linux kernels (CGC DECREE and vanilla) with S2E extensions
☆24Jul 6, 2024Updated 2 years ago
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☆18Dec 19, 2020Updated 5 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- x86 Dynamic Binary Translator Library☆33Dec 19, 2020Updated 5 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 6 years ago
- 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.
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆31Jul 12, 2016Updated 10 years ago
- QEMU VM with generic KVM extensions for symbolic execution☆27Oct 17, 2026Updated last week
- Tiny Code Generator Library☆47Jan 16, 2021Updated 5 years ago
- DARPA Cyber Grand Challenge Documentation☆119Feb 1, 2017Updated 9 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 4 years ago
- Modular And Compositional analysis with KLEE Engine☆119Dec 17, 2019Updated 6 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 7 years ago
- Semantic Differential Repair☆11Oct 31, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- AFL coverage tool using Clang SanitizerCoverage☆37Nov 13, 2016Updated 9 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated last year
- Timeless debugging with symbolic execution and processor trace☆75Jan 23, 2021Updated 5 years ago
- DARPA Cyber Grand Challenge Linux source code☆18Jul 9, 2015Updated 11 years ago
- ☆20Jul 18, 2019Updated 7 years ago
- Tracking CVEs for the linux Kernel☆752Apr 9, 2024Updated 2 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 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
- AFL-EDGE is a tool facilitating parallel fuzzing with mutually-exclusive task distribution☆17Jul 13, 2022Updated 4 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.
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 3 years ago
- Convert a raw firmware image to an ELF file.☆14Feb 6, 2019Updated 7 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆32Feb 23, 2019Updated 7 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Simple commit search utility for Chromium Google Source.☆29Dec 8, 2022Updated 3 years ago
- 每周定期更新论文笔记分享的markdown以及图片☆187Apr 6, 2021Updated 5 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 11 years ago
- SALT - SLUB ALlocator Tracer for the Linux kernel☆158Sep 10, 2018Updated 8 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Mar 30, 2020Updated 6 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.
- ☆28Aug 6, 2022Updated 4 years ago
- Re-randomizing the memory layout of a process at runtime☆22May 28, 2016Updated 10 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆238Mar 14, 2022Updated 4 years ago
- ☆118Aug 9, 2016Updated 10 years ago
- This is an OllyDbg plugin which will help you to import map files exported by IDA, Dede, IDR, Microsoft and Borland linkers.☆22Aug 12, 2015Updated 11 years ago
- In memory fuzzing for embedded devices☆19Jun 20, 2012Updated 14 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago