ReDeBug Source Code.
☆24Dec 12, 2023Updated 2 years ago
Alternatives and similar repositories for redebug
Users that are interested in redebug are comparing it to the libraries listed below
Sorting:
- ☆19Mar 12, 2019Updated 6 years ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Jan 31, 2025Updated last year
- ☆26Mar 31, 2023Updated 2 years ago
- Filter out critical open source software with our metrics☆38Dec 24, 2025Updated 2 months ago
- Vulnerability database generator: a submodule for VUDDY☆14May 28, 2024Updated last year
- some kernel exploit challenges and cve analysis☆26Nov 30, 2018Updated 7 years ago
- ☆58May 10, 2024Updated last year
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- FixMorph is a morphing tool for C source codes which supports automated code-transfer☆35Apr 9, 2025Updated 10 months ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- ☆38Nov 30, 2020Updated 5 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Apr 4, 2015Updated 10 years ago
- some demos demonstrate the heap exploitation of ptmalloc2☆12May 25, 2017Updated 8 years ago
- CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software☆318Jul 30, 2024Updated last year
- ICSE 2018 paper implement☆18Jan 8, 2019Updated 7 years ago
- ☆81Sep 7, 2023Updated 2 years ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 5 years ago
- Modified qemu for binary-only kernel tracing, address sanitizer and so on☆19Jul 5, 2025Updated 8 months ago
- Deploy and customize our own pwn.college - pwn.hust.college☆59Sep 30, 2025Updated 5 months ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated last year
- A framework to test the correctness of the Linux kernel patch.☆22Sep 29, 2023Updated 2 years ago
- Software vulnerabilities data set☆25Mar 4, 2020Updated 6 years ago
- git://g.csail.mit.edu/kint☆51Oct 20, 2013Updated 12 years ago
- The dataset used in the experiments for Esh (http://binsim.com)☆21Sep 8, 2016Updated 9 years ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆27Jan 24, 2024Updated 2 years ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Mar 23, 2025Updated 11 months ago
- Syzkaller with MAB scheduling and seed selection☆27Jan 29, 2020Updated 6 years ago
- fcatalog idapython client☆27Aug 19, 2016Updated 9 years ago
- ☆25Jul 12, 2017Updated 8 years ago
- ☆24Aug 24, 2025Updated 6 months ago
- Code for the DIMVA 2018 paper: "MemScrimper: Time- and Space-Efficient Storage of Malware Sandbox Memory Dumps"☆26Jul 22, 2019Updated 6 years ago
- Programmatic disassembly and patching☆69Dec 30, 2016Updated 9 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Sep 4, 2019Updated 6 years ago
- An Automated Vulnerability Detection System☆59Aug 22, 2016Updated 9 years ago
- IDA plugin for software complexity metrics assessment☆60Jan 4, 2018Updated 8 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆30Feb 23, 2019Updated 7 years ago
- Test case minimizer for afl-fuzz☆28Jul 19, 2017Updated 8 years ago
- ☆26Jan 15, 2021Updated 5 years ago
- Detect missing check bugs in OS kernels☆113Sep 23, 2023Updated 2 years ago