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
- β198Updated 2 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systemsβ170Updated 3 years ago
- git://g.csail.mit.edu/kintβ50Updated 11 years ago
- β77Updated 2 weeks ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Redβ¦β37Updated 9 months ago
- β26Updated 3 years ago
- AFL enhanced for concurrency bug and vulnerabilitiesβ20Updated 4 years ago
- A fuzzing framework for finding transactional bugs in DBMSsβ53Updated 2 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfigurationβ17Updated 4 years ago
- β22Updated 5 years ago
- β37Updated 3 years ago
- A testcase generation tool for Persistent Memory Programs.β15Updated 4 years ago
- β12Updated 2 years ago
- Detect missing check bugs in OS kernelsβ110Updated last year
- [ICSE 2022] Controlled Concurrency Testing via Periodical Schedulingβ32Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.β24Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.β83Updated 2 months ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernelβ77Updated 3 years ago
- β25Updated 8 years ago
- β51Updated 4 years ago
- List the real world programs evaluated in fuzzing papers.β56Updated 6 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targetsβ96Updated last month
- MemLock: Memory Usage Guided Fuzzingβ33Updated 5 years ago
- K-Minerβ75Updated 6 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.β53Updated 4 years ago
- Papers related with kernel papersβ13Updated 2 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulneraβ¦β26Updated last year