Recent Paper About Bug Detection
☆32Sep 27, 2019Updated 6 years ago
Alternatives and similar repositories for BugDetectionPaper
Users that are interested in BugDetectionPaper are comparing it to the libraries listed below
Sorting:
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- ☆12Oct 14, 2025Updated 4 months ago
- Code for the paper "Embedding Java Classes with code2vec: Improvements from Variable Obfuscation" in MSR 2020☆32Mar 24, 2023Updated 2 years ago
- Disassemblers with various trimming methodologies☆15Jan 1, 2025Updated last year
- ☆27Dec 29, 2024Updated last year
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆47Sep 2, 2023Updated 2 years ago
- ☆239Jan 14, 2024Updated 2 years ago
- Resources accompanying the LibAFL workshop blog post☆20Sep 28, 2024Updated last year
- An automated static taint analysis tool for the Lua web framework.☆24Sep 27, 2024Updated last year
- This repository contain recurring IoT vulnerabilities found by FirmRec.☆17Aug 25, 2023Updated 2 years ago
- Research paper collection for Linux kernel security from top security conferences.☆80Jan 5, 2018Updated 8 years ago
- Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)☆36Dec 4, 2025Updated 2 months ago
- Dataset and code corresponding to Associating Natural Language Comment and Source Code Entities (AAAI 2020)☆20Oct 24, 2020Updated 5 years ago
- ☆23Mar 25, 2023Updated 2 years ago
- ☆21Aug 25, 2024Updated last year
- Pre-built bitcode files for the Linux kernel☆22Sep 18, 2019Updated 6 years ago
- ☆22Nov 12, 2020Updated 5 years ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Mar 23, 2025Updated 11 months ago
- ☆25Oct 4, 2018Updated 7 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Mar 14, 2022Updated 3 years ago
- ☆26May 10, 2021Updated 4 years ago
- ☆30Sep 13, 2024Updated last year
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Jan 31, 2025Updated last year
- Yet another academic homepage builder.☆25Jul 1, 2020Updated 5 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆35Apr 26, 2022Updated 3 years ago
- ☆32Jul 13, 2022Updated 3 years ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- This is a deep learning dataset for cross-version binary code similarity detection.☆27Nov 7, 2018Updated 7 years ago
- ☆32Feb 1, 2019Updated 7 years ago
- ☆37May 19, 2023Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆33Apr 6, 2022Updated 3 years ago
- Code for the paper "Investigating Graph Embedding Neural Networks with Unsupervised Features Extraction for Binary Analysis"☆65Oct 6, 2022Updated 3 years ago
- A curated list of awesome directed fuzzing research papers☆582Dec 27, 2025Updated 2 months ago
- ☆35Dec 5, 2025Updated 2 months ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39May 2, 2020Updated 5 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆229Jan 3, 2026Updated last month
- Full implementaion of Genius☆33May 15, 2023Updated 2 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- Web based Banking Decentralised Application (DApp) built on Ethereum blockchain which focuses on preventing fraudulent attacks such as th…☆11Nov 26, 2019Updated 6 years ago