mrdrivingduck / paper-outlineLinks
🔍 To record the papers I have read.
☆25Updated 3 years ago
Alternatives and similar repositories for paper-outline
Users that are interested in paper-outline are comparing it to the libraries listed below
Sorting:
- Concurrency Paper☆110Updated 2 years ago
- ☆61Updated 3 years ago
- Coveraged-based fuzzer for finding DBMS logical bugs☆54Updated 2 years ago
- ☆77Updated last month
- ☆198Updated 2 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆170Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- git://g.csail.mit.edu/kint☆50Updated 11 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆52Updated 2 years ago
- ☆22Updated 5 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated 8 months ago
- AFL enhanced for concurrency bug and vulnerabilities☆20Updated 4 years ago
- ☆12Updated 2 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 5 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- ☆37Updated 3 years ago
- Kernel fuzzer inspired by Syzkaller.☆280Updated 3 years ago
- 每周定期更新论文笔记分享的markdown以及图片☆185Updated 4 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆77Updated 3 years ago
- LLVM pass☆24Updated 5 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆17Updated 8 years ago
- ☆26Updated 3 years ago
- 基于clang static analyzer的源码漏洞检测插件☆199Updated 6 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 4 years ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆29Updated 4 years ago
- A use-after-free checker based on SVF.☆21Updated 7 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆32Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆80Updated 2 months ago
- List the real world programs evaluated in fuzzing papers.☆56Updated 6 years ago