aboutsummaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
author郝宇 (Yu Hao) <yhao016@ucr.edu>2023-05-29 20:44:27 -0700
committerDmitry Vyukov <dvyukov@google.com>2023-05-30 09:30:14 +0200
commit8d5c7541d29fecb0d8adc7f44caedd9abe9c9dca (patch)
tree88767dc9394497aca871f0a55a2a20a79c203abe /docs
parentcf1845599c0bdab59c69518eaa0ecb960ec7ddf0 (diff)
docs: add SyzDescribe reference
Diffstat (limited to 'docs')
-rw-r--r--docs/research.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/research.md b/docs/research.md
index be3eca851..63a9cc06d 100644
--- a/docs/research.md
+++ b/docs/research.md
@@ -1,6 +1,7 @@
# Research work based on syzkaller
_newer first_
+* [SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers](https://github.com/seclab-ucr/SyzDescribe)
* [GREBE: Unveiling Exploitation Potential for Linux Kernel Bugs](https://zplin.me/papers/GREBE.pdf)
* [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)