ReDeBug Source Code.
☆25Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Enhanced implementation of Kint in LLVM-14, in C++17.☆10May 2, 2022Updated 4 years ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆52Jan 31, 2025Updated last year
- ☆29Mar 31, 2023Updated 3 years ago
- some kernel exploit challenges and cve analysis☆26Nov 30, 2018Updated 7 years ago
- ☆19Mar 12, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆60May 10, 2024Updated 2 years ago
- A framework to test the correctness of the Linux kernel patch.☆22Sep 29, 2023Updated 3 years ago
- some demos demonstrate the heap exploitation of ptmalloc2☆12May 25, 2017Updated 9 years ago
- The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…☆14Aug 9, 2023Updated 3 years ago
- Vulnerability database generator: a submodule for VUDDY☆15May 28, 2024Updated 2 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Oct 15, 2020Updated 6 years ago
- Googleplay,AppStore store api☆16Dec 26, 2018Updated 7 years ago
- ☆11May 29, 2023Updated 3 years ago
- ☆82Sep 7, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆38Nov 30, 2020Updated 5 years ago
- Jess is short for Joern extended by Semantic Slicing. This tool allows you to import C code into a Code Property Graph, and then compute …☆17May 22, 2024Updated 2 years ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆50Aug 9, 2023Updated 3 years ago
- CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software☆373Jul 30, 2024Updated 2 years ago
- git://g.csail.mit.edu/kint☆51Oct 20, 2013Updated 13 years ago
- FixMorph is a morphing tool for C source codes which supports automated code-transfer☆37Apr 9, 2025Updated last year
- ☆25Mar 18, 2026Updated 7 months ago
- This is the project of LearnAFL.☆29Aug 27, 2020Updated 6 years ago
- ☆41May 31, 2024Updated 2 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.
- Filter out critical open source software with our metrics☆38Dec 24, 2025Updated 10 months ago
- Syzkaller with MAB scheduling and seed selection☆30Jan 29, 2020Updated 6 years ago
- ☆72Mar 27, 2019Updated 7 years ago
- Deploy and customize our own pwn.college - pwn.hust.college☆60Oct 20, 2026Updated 2 weeks ago
- Semantic Crash Bucketing☆17Sep 8, 2020Updated 6 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Apr 4, 2015Updated 11 years ago
- Github repo backing website for the CS Assistant Professor Handbook☆28Aug 28, 2024Updated 2 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated 2 years ago
- PORTGPT: Towards Automated Backporting Using Large Language Models(IEEE S&P2026)☆39Feb 27, 2026Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆65Sep 4, 2019Updated 7 years ago
- ☆14Feb 27, 2017Updated 9 years ago
- Librarian: An Empirical Study of Security Updates in Android Apps’ Native Code☆22Jan 22, 2021Updated 5 years ago
- ☆10Mar 22, 2022Updated 4 years ago
- CodeQL+LLM进行漏洞检测☆11Jun 16, 2024Updated 2 years ago
- ICSE 2018 paper implement☆17Jan 8, 2019Updated 7 years ago
- This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…☆16Dec 10, 2024Updated last year