Lists of must-read systems research papers
This repository lists Systems Research papers, mainly systems and software security papers.
jzhou76 / must-read
Licence: other
Lists of must-read papers (mainly security papers)
Stars: ✭ 13
Projects that are alternatives of or similar to must-read
Dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+1761.54%)
Mutual labels: program-analysis
sortcheck
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
Stars: ✭ 23 (+76.92%)
Mutual labels: program-analysis
Wuffs
Wrangling Untrusted File Formats Safely
Stars: ✭ 2,948 (+22576.92%)
Mutual labels: memory-safety
iec-checker
Static analysis of IEC 61131-3 programs
Stars: ✭ 36 (+176.92%)
Mutual labels: program-analysis
r3
R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded systems, testing the limit of Rust's const eval and generics
Stars: ✭ 87 (+569.23%)
Mutual labels: memory-safety
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 180 (+1284.62%)
Mutual labels: program-analysis
surveyor
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
Stars: ✭ 14 (+7.69%)
Mutual labels: program-analysis
sbt-instrumentation
Configurable instrumentation of LLVM bitcode
Stars: ✭ 31 (+138.46%)
Mutual labels: memory-safety
ego
Alter Ego: run Linux desktop applications under a different local user
Stars: ✭ 90 (+592.31%)
Mutual labels: isolation
better-redux-tests
Source code for my article "A better approach for testing your Redux code"
Stars: ✭ 12 (-7.69%)
Mutual labels: isolation
adversarial-code-generation
Source code for the ICLR 2021 work "Generating Adversarial Computer Programs using Optimized Obfuscations"
Stars: ✭ 16 (+23.08%)
Mutual labels: program-analysis
Codeql Go
The CodeQL extractor and libraries for Go.
Stars: ✭ 224 (+1623.08%)
Mutual labels: program-analysis
binary-decompilation
Extracting high level semantic information from binary code
Stars: ✭ 55 (+323.08%)
Mutual labels: program-analysis
tiro
TIRO - A hybrid iterative deobfuscation framework for Android applications
Stars: ✭ 20 (+53.85%)
Mutual labels: program-analysis
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].