Fetching the paper…
Reading the bibliography…
Over the past 6 years, Syzbot has fuzzed the Linux kernel day and night to report over 5570 bugs, of which 4604 have been patched [11].
S. M. Srinivasan, S. Kandula, C. R. Andrews, Y. Zhou et al. , “Flashback: A lightweight extension for rollback and deterministic replay for software debugging,” in USENIX Annual Technical Conference, General Track . Boston, MA, USA, 2004, pp. 29–44
2004
Earlier work this paper cites.
P. Godefroid, N. Klarlund, and K. Sen, “Dart: Directed automated random testing,” in Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation , 2005, pp. 213–223
2005
Earlier work this paper cites.
S. T. King, G. W. Dunlap, and P. M. Chen, “Debugging operating systems with time-traveling virtual machines,” in Proceedings of the 2005 USENIX Technical Conference , 2005, pp. 1–15
2005
Earlier work this paper cites.
S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou, “Bugbench: Benchmarks for evaluating bug detection tools,” in Workshop on the evaluation of software defect detection tools , vol. 5. Chicago, Illinois, 2005
2005
Earlier work this paper cites.
J. Huang, P. Liu, and C. Zhang, “Leap: Lightweight deterministic multi-processor replay of concurrent java programs,” in Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering , 2010, pp. 207–216
2010
Earlier work this paper cites.
D. Lee, B. Wester, K. Veeraraghavan, S. Narayanasamy, P. M. Chen, and J. Flinn, “Respec: efficient online multiprocessor replayvia speculation and external determinism,” ACM Sigplan Notices , vol. 45, no. 3, pp. 77–90, 2010
2010
Earlier work this paper cites.
D. Weeratunge, X. Zhang, and S. Jagannathan, “Analyzing multicore dumps to facilitate concurrency bug reproduction,” in Proceedings of the fifteenth International Conference on Architectural support for programming languages and operating systems , 2010, pp. 155–166
2010
Earlier work this paper cites.
C. Zamfir and G. Candea, “Execution synthesis: a technique for automated software debugging,” in Proceedings of the 5th European conference on Computer systems , 2010, pp. 321–334
2010
Earlier work this paper cites.
J. Huang, C. Zhang, and J. Dolby, “Clap: Recording local executions to reproduce concurrency failures,” Acm Sigplan Notices , vol. 48, no. 6, pp. 141–152, 2013
2013
Earlier work this paper cites.
N. Chen and S. Kim, “Star: Stack trace based automatic crash reproduction via symbolic execution,” IEEE transactions on software engineering , vol. 41, no. 2, pp. 198–220, 2014
2014
Earlier work this paper cites.
B. Dolan-Gavitt, P. Hulin, E. Kirda, T. Leek, A. Mambretti, W. Robertson, F. Ulrich, and R. Whelan, “Lava: Large-scale automated vulnerability addition,” in 2016 IEEE symposium on security and privacy (SP) . IEEE, 2016, pp. 110–121
2016
Earlier work this paper cites.
Z. Huang, M. DAngelo, D. Miyani, and D. Lie, “Talos: Neutralizing vulnerabilities with security workarounds for rapid response,” in 2016 IEEE Symposium on Security and Privacy (SP) . IEEE, 2016, pp. 618–635
2016
Earlier work this paper cites.
N. Machado, B. Lucia, and L. Rodrigues, “Production-guided concurrency debugging,” in Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming , 2016, pp. 1–12
2016
Earlier work this paper cites.
N. Stephens, J. Grosen, C. Salls, A. Dutcher, R. Wang, J. Corbetta, Y. Shoshitaishvili, C. Kruegel, and G. Vigna, “Driller: Augmenting fuzzing through selective symbolic execution.” in NDSS , vol. 16, no. 2016, 2016, pp. 1–16
2016
Earlier work this paper cites.
F. A. Bianchi, M. Pezzè, and V. Terragni, “Reproducing concurrency failures from crash stacks,” in Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering , 2017, pp. 705–716
2017
Earlier work this paper cites.
M. Böhme, V.-T. Pham, M.-D. Nguyen, and A. Roychoudhury, “Directed greybox fuzzing,” in Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security , 2017, pp. 2329–2344
2017
Earlier work this paper cites.
J. Corina, A. Machiry, C. Salls, Y. Shoshitaishvili, S. Hao, C. Kruegel, and G. Vigna, “Difuze: Interface aware fuzzing for kernel drivers,” in Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security , 2017, pp. 2123–2138
2017
Earlier work this paper cites.
R. Saha and M. Gligoric, “Selective bisection debugging,” in Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings 20 . Springer, 2017, pp. 60–77
2017
Earlier work this paper cites.
K. Serebryany, “Oss-fuzz-google’s continuous fuzzing service for open source software,” in USENIX Security symposium . USENIX Association, 2017
2017
Earlier work this paper cites.
“How to contribute to syzkaller,” https://github.com/google/syzkaller/blob/master/docs/contributing.md
2018
Earlier work this paper cites.
P. Chen and H. Chen, “Angora: Efficient fuzzing by principled search,” in 2018 IEEE Symposium on Security and Privacy (SP) . IEEE, 2018, pp. 711–725
2018
Earlier work this paper cites.
H.J. Lu, “x86/build/64: Force the linker to use 2MB page size,” https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=e3d03598e8ae7d195af5d3d049596dec336f569f
2018
Earlier work this paper cites.
C. Lemieux and K. Sen, “Fairfuzz: A targeted mutation strategy for increasing greybox fuzz testing coverage,” in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering , 2018, pp. 475–485
2018
Cited alongside, same era.
D. Vyukov, “syzbot Bisection,” https://github.com/google/syzkaller/blob/master/docs/syzbot.md\#bisection
2018
Cited alongside, same era.
D. R. Jeong, K. Kim, B. Shivakumar, B. Lee, and I. Shin, “Razzer: Finding kernel race bugs through fuzzing,” in 2019 IEEE Symposium on Security and Privacy (SP) . IEEE, 2019, pp. 754–768
2019
Cited alongside, same era.
J. Ruohonen and K. Rindell, “Empirical notes on the interaction between continuous kernel fuzzing and development,” in 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) . IEEE, 2019, pp. 276–281
2019
Cited alongside, same era.
J. Metzman, L. Szekeres, L. Simon, R. Sprabery, and A. Arya, “Fuzzbench: an open fuzzer benchmarking platform and service,” in Proceedings of the 29th ACM joint meeting on European software engineering conference and symposium on the foundations of software engineering , 2021, pp. 1393–1403
2021
Later among the works it cites.
Qu Wenruo, “Revert ”btrfs: compression: don’t try to compress if we don’t have enough pages”,” https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=4e9655763b82a91e4c341835bb504a2b1590f984
2021
Later among the works it cites.
S. M. S. Talebi, Z. Yao, A. A. Sani, Z. Qian, and D. Austin, “Undo workarounds for kernel bugs,” in USENIX Security Symposium , 2021
2021
Later among the works it cites.
D. Wang, Z. Zhang, H. Zhang, Z. Qian, S. V. Krishnamurthy, and N. B. Abu-Ghazaleh, “Syzvegas: Beating kernel fuzzing odds with reinforcement learning.” in USENIX Security Symposium , 2021, pp. 2741–2758
2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
D. She, K. Pei, D. Epstein, J. Yang, B. Ray, and S. Jana, “Neuzz: Efficient fuzzing with neural program smoothing,” in 2019 IEEE Symposium on Security and Privacy (SP) . IEEE, 2019, pp. 803–817
2019
Cited alongside, same era.
“Git Bisect,” https://git-scm.com/docs/git-bisect
2020
Cited alongside, same era.
W. Chen, X. Zou, G. Li, and Z. Qian, “Koobe: Towards facilitating exploit generation of kernel out-of-bounds write vulnerabilities,” in Proceedings of the 29th USENIX Conference on Security Symposium , 2020, pp. 1093–1110
2020
Cited alongside, same era.
A. Fioraldi, D. Maier, H. Eißfeldt, and M. Heuse, “Afl++ combining incremental steps of fuzzing research,” in Proceedings of the 14th USENIX Conference on Offensive Technologies , 2020, pp. 10–10
2020
Cited alongside, same era.
A. Hazimeh, A. Herrera, and M. Payer, “Magma: A ground-truth fuzzing benchmark,” Proceedings of the ACM on Measurement and Analysis of Computing Systems , vol. 4, no. 3, pp. 1–29, 2020
2020
Cited alongside, same era.
B. Liu, C. Zhang, G. Gong, Y. Zeng, H. Ruan, and J. Zhuge, “Fans: Fuzzing android native system services via automated interface analysis.” in USENIX Security Symposium , 2020, pp. 307–323
2020
Cited alongside, same era.
S. Österlund, K. Razavi, H. Bos, and C. Giuffrida, “Parmesan: Sanitizer-guided greybox fuzzing,” in Proceedings of the 29th USENIX Conference on Security Symposium , 2020, pp. 2289–2306
2020
Cited alongside, same era.
Vyukov, D., “sys/linux: add syz_mount_image for 20 more file systems,” https://github.com/google/syzkaller/commit/8394d04bf63f992da0a762fd987693521c2e2507
2020
Cited alongside, same era.
X. Zhu and M. Böhme, “Regression greybox fuzzing,” in Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security , 2021, pp. 2169–2182
2021
Later among the works it cites.
“KASAN: slab-out-of-bounds Read in packet_recvmsg,” https://syzkaller.appspot.com/bug?id=7c7245f9088053e9e49b97a341dee26c9ed40a2c
2022
Later among the works it cites.
“KASAN: slab-out-of-bounds Read in thrustmaster_probe,” https://syzkaller.appspot.com/bug?id=e1c3525a4f4e2e4b6c1f73611ceaf61ef462700c
2022
Later among the works it cites.
“KMSAN: uninit-value in number (4),” https://syzkaller.appspot.com/bug?id=59384a424f10c52eba52e098087f428e3a8b1915
2022
Later among the works it cites.
“syzbot,” https://syzkaller.appspot.com/upstream
2022
Later among the works it cites.
“Syzkaller: Syzcall Description Language,” https://github.com/google/syzkaller/blob/master/docs/syscall\_descriptions\_syntax.md
2022
Later among the works it cites.
“WARNING in dlfb_submit_urb/usb_submit_urb,” https://syzkaller.appspot.com/bug?id=9c2df342be9d102da75f9532e168a95b9c379ae4
2022
Later among the works it cites.
Peilin Ye, “vsock: Fix memory leak in vsock_connect(),” https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=7e97cfed9929eaabc41829c395eb0d1350fccb9d
2022
Later among the works it cites.
Z. Shen, R. Roongta, and B. Dolan-Gavitt, “Drifuzz: Harvesting bugs in device drivers from golden seeds,” in 31st USENIX Security Symposium (USENIX Security 22) , 2022, pp. 1275–1290
2022
Later among the works it cites.
H. Sun, Y. Shen, J. Liu, Y. Xu, and Y. Jiang, “ { \{ KSG } \} : Augmenting kernel fuzzing with system call specification generation,” in 2022 USENIX Annual Technical Conference (USENIX ATC 22) , 2022, pp. 351–366
2022
Later among the works it cites.
“Kernel Memory Leak Detector,” https://docs.kernel.org/dev-tools/kmemleak.html
2023
Later among the works it cites.
“The Kernel Address Sanitizer (KASAN),” https://docs.kernel.org/dev-tools/kasan.html
2023
Later among the works it cites.
“The Kernel Concurrency Sanitizer (KCSAN),” https://docs.kernel.org/dev-tools/kcsan.html
2023
Later among the works it cites.
“The Kernel Memory Sanitizer (KMSAN),” https://docs.kernel.org/dev-tools/kmsan.html
2023
Later among the works it cites.
“The Undefined Behavior Sanitizer - UBSAN,” https://docs.kernel.org/dev-tools/ubsan.html
2023
Later among the works it cites.
A. Bulekov, B. Das, S. Hajnoczi, and M. Egele, “No grammar, no problem: Towards fuzzing the linux kernel without system-call descriptions.” in NDSS , 2023
2023
Later among the works it cites.
Y. Hao, G. Li, X. Zou, W. Chen, S. Zhu, Z. Qian, and A. A. Sani, “Syzdescribe: Principled, automated, static generation of syscall descriptions for kernel drivers,” in 2023 IEEE Symposium on Security and Privacy (SP) . IEEE Computer Society, 2023, pp. 3262–3278
2023
Later among the works it cites.