mrdrivingduck / paper-outlineLinks
🔍 To record the papers I have read.
☆25Updated 4 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☆114Updated 2 years ago
- ☆61Updated 3 years ago
- Coveraged-based fuzzer for finding DBMS logical bugs☆60Updated 3 years ago
- ☆78Updated last week
- ☆207Updated 2 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆171Updated 3 years ago
- ☆12Updated 2 years ago
- git://g.csail.mit.edu/kint☆51Updated 12 years ago
- AFL enhanced for concurrency bug and vulnerabilities☆20Updated 5 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆54Updated 2 years ago
- ☆23Updated 6 years ago
- ☆37Updated 3 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 4 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆87Updated 3 months ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated last year
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆78Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 5 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆26Updated 3 years ago
- A Debuggable Kernel environment Plus a software collection☆62Updated 3 years ago
- ☆27Updated 3 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆18Updated 8 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Updated 5 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆16Updated 4 years ago
- ☆16Updated 6 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- LLVM pass☆24Updated 5 years ago
- ☆36Updated 2 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Updated 3 years ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测 试简介。为对软件质…☆29Updated 4 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Updated 6 years ago