diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2023-04-17 09:22:45 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2023-04-17 09:39:02 +0200 |
| commit | c6ec708375e0f0f670f8ae7c11c94f09ce03f673 (patch) | |
| tree | b8919b35b3b151059032f3e08b0b90c3e109850b /docs | |
| parent | ec410564b9e4ff241d1242febb29eda2ee28b50d (diff) | |
docs: add precise race detection research paper
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/research.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/research.md b/docs/research.md index 5a7d228c6..df7d004c6 100644 --- a/docs/research.md +++ b/docs/research.md @@ -1,6 +1,7 @@ # Research work based on syzkaller _newer first_ +* [Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis](https://www.cs.columbia.edu/~gabe/files/oakland2023_pla.pdf) * [Linux Kernel Enriched Corpus](https://github.com/cmu-pasta/linux-kernel-enriched-corpus) : [corpus.db](https://github.com/cmu-pasta/linux-kernel-enriched-corpus/raw/main/corpus.db) * [HotBPF - An On-demand and On-the-fly Memory Protection](https://www.youtube.com/watch?v=1KSLTsgxaSU) * [KASPER: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel](https://www.vusec.net/projects/kasper/) |