{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:10:10Z","timestamp":1750198210556,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T00:00:00Z","timestamp":1587945600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,27]]},"DOI":"10.1145\/3380786.3391400","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T11:20:17Z","timestamp":1588591217000},"page":"13-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["X-AFL"],"prefix":"10.1145","author":[{"given":"Hongliang","family":"Liang","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yixiu","family":"Chen","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuosi","family":"Xie","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyi","family":"Liang","sequence":"additional","affiliation":[{"name":"China Information Technology Security Evaluation Center"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2007. SELinux Wiki. https:\/\/selinuxproject.org\/page\/Main_Page  2007. SELinux Wiki. https:\/\/selinuxproject.org\/page\/Main_Page"},{"key":"e_1_3_2_1_2_1","unstructured":"2014. american fuzzy lop. http:\/\/lcamtuf.coredump.cx\/afl\/  2014. american fuzzy lop. http:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2019a. Hourglass Fuzz: A Quick Bug Hunting Method. https:\/\/conference.hitb.org\/hitbsecconf2019ams\/sessions\/hourglass-fuzz-a-quick-bug-hunting-method\/  2019a. Hourglass Fuzz: A Quick Bug Hunting Method. https:\/\/conference.hitb.org\/hitbsecconf2019ams\/sessions\/hourglass-fuzz-a-quick-bug-hunting-method\/"},{"volume-title":"kcov: code coverage for fuzzing &mdash","key":"e_1_3_2_1_4_1","unstructured":"2019b. kcov: code coverage for fuzzing &mdash ; The Linux Kernel documentation. https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kcov.html 2019b. kcov: code coverage for fuzzing — The Linux Kernel documentation. https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kcov.html"},{"volume-title":"The Kernel Address Sanitizer (KASAN) &mdash","key":"e_1_3_2_1_5_1","unstructured":"2019c. The Kernel Address Sanitizer (KASAN) &mdash ; The Linux Kernel documentation. https:\/\/www.kernel.org\/doc\/html\/v4.14\/dev-tools\/kasan.html 2019c. The Kernel Address Sanitizer (KASAN) — The Linux Kernel documentation. https:\/\/www.kernel.org\/doc\/html\/v4.14\/dev-tools\/kasan.html"},{"key":"e_1_3_2_1_6_1","unstructured":"2019d. oracle\/kernel-fuzzing. https:\/\/github.com\/oracle\/kernel-fuzzing original-date: 2016-08-10T00:14:18Z.  2019d. oracle\/kernel-fuzzing. https:\/\/github.com\/oracle\/kernel-fuzzing original-date: 2016-08-10T00:14:18Z."},{"key":"e_1_3_2_1_7_1","unstructured":"2020a. google\/syzkaller. https:\/\/github.com\/google\/syzkaller original-date: 2015-10-12T06:05:05Z.  2020a. google\/syzkaller. https:\/\/github.com\/google\/syzkaller original-date: 2015-10-12T06:05:05Z."},{"key":"e_1_3_2_1_8_1","unstructured":"2020b. nccgroup\/TriforceLinuxSyscallFuzzer. https:\/\/github.com\/nccgroup\/TriforceLinuxSyscallFuzzer original-date: 2016-06-13T21:31:37Z.  2020b. nccgroup\/TriforceLinuxSyscallFuzzer. https:\/\/github.com\/nccgroup\/TriforceLinuxSyscallFuzzer original-date: 2016-06-13T21:31:37Z."},{"key":"e_1_3_2_1_9_1","unstructured":"Swapnil Bhartiya. 2020. Linux in 2020: 27.8 million lines of code in the kernel 1.3 million in systemd. https:\/\/www.linux.com\/news\/linux-in-2020-27-8-million-lines-of-code-in-the-kernel-1-3-million-in-systemd\/  Swapnil Bhartiya. 2020. Linux in 2020: 27.8 million lines of code in the kernel 1.3 million in systemd. https:\/\/www.linux.com\/news\/linux-in-2020-27-8-million-lines-of-code-in-the-kernel-1-3-million-in-systemd\/"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSA.2008.32"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287628"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134069"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134103"},{"key":"e_1_3_2_1_14_1","volume-title":"Razzer: Finding Kernel Race Bugs through Fuzzing. In <i>S&P 2019<\/i>.","author":"Jeong Dae R.","year":"2019","unstructured":"Dae R. Jeong , KyungTae Kim , Basavesh Shivakumar , Byoungyoung Lee , and Insik Shin . 2019 . Razzer: Finding Kernel Race Bugs through Fuzzing. In <i>S&P 2019<\/i>. Dae R. Jeong, KyungTae Kim, Basavesh Shivakumar, Byoungyoung Lee, and Insik Shin. 2019. Razzer: Finding Kernel Race Bugs through Fuzzing. In <i>S&P 2019<\/i>."},{"volume-title":"<i>USENIX Security Symposium<\/i>","author":"Johnson Rob","key":"e_1_3_2_1_15_1","unstructured":"Rob Johnson and David Wagner . 2004. Finding User\/ Kernel Pointer Bugs with Type Inference .. In <i>USENIX Security Symposium<\/i> , Vol. 2 . 0. Rob Johnson and David Wagner. 2004. Finding User\/Kernel Pointer Bugs with Type Inference.. In <i>USENIX Security Symposium<\/i>, Vol. 2. 0."},{"key":"e_1_3_2_1_16_1","unstructured":"Dylan Laws. 2020. Haifisch\/kuzz. https:\/\/github.com\/Haifisch\/kuzz original-date: 2016-07-23T09:06:42Z.  Dylan Laws. 2020. Haifisch\/kuzz. https:\/\/github.com\/Haifisch\/kuzz original-date: 2016-07-23T09:06:42Z."},{"key":"e_1_3_2_1_17_1","unstructured":"moony li. 2020. SilverMoonSecurity\/PassiveFuzzFrameworkOSX. https:\/\/github.com\/SilverMoonSecurity\/PassiveFuzzFrameworkOSX original-date: 2016-10-26T07:15:08Z.  moony li. 2020. SilverMoonSecurity\/PassiveFuzzFrameworkOSX. https:\/\/github.com\/SilverMoonSecurity\/PassiveFuzzFrameworkOSX original-date: 2016-10-26T07:15:08Z."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2019.00044"},{"key":"e_1_3_2_1_19_1","unstructured":"Dmytro Oleksiuk. 2020. Cr4sh\/ioctlfuzzer. https:\/\/github.com\/Cr4sh\/ioctlfuzzer original-date: 2015-06-06T12:45:14Z.  Dmytro Oleksiuk. 2020. Cr4sh\/ioctlfuzzer. https:\/\/github.com\/Cr4sh\/ioctlfuzzer original-date: 2015-06-06T12:45:14Z."},{"key":"e_1_3_2_1_20_1","unstructured":"Shankara Pailoor Andrew Aday and Suman Jana. 2018. MoonShine: Optimizing $OS$ Fuzzer Seed Selection with Trace Distillation. In <i>27th $USENIX$ Security Symposium ($USENIX$ Security 18)<\/i>. 729–743.  Shankara Pailoor Andrew Aday and Suman Jana. 2018. MoonShine: Optimizing $OS$ Fuzzer Seed Selection with Trace Distillation. In <i>27th $USENIX$ Security Symposium ($USENIX$ Security 18)<\/i>. 729–743."},{"volume-title":"Improving Integer Security for Systems with $KINT$. In <i>Presented as part of the 10th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 12)<\/i>. 163–177","author":"Wang Xi","key":"e_1_3_2_1_21_1","unstructured":"Xi Wang , Haogang Chen , Zhihao Jia , Nickolai Zeldovich , and M Frans Kaashoek . 2012. Improving Integer Security for Systems with $KINT$. In <i>Presented as part of the 10th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 12)<\/i>. 163–177 . Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, and M Frans Kaashoek. 2012. Improving Integer Security for Systems with $KINT$. In <i>Presented as part of the 10th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 12)<\/i>. 163–177."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Wei You Peiyuan Zong Kai Chen XiaoFeng Wang Xiaojing Liao Pan Bian and Bin Liang. 2017. Semfuzz: Semantics-based automatic generation of proof-of-concept exploits. In <i>Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security<\/i>. 2139–2154.  Wei You Peiyuan Zong Kai Chen XiaoFeng Wang Xiaojing Liao Pan Bian and Bin Liang. 2017. Semfuzz: Semantics-based automatic generation of proof-of-concept exploits. In <i>Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security<\/i>. 2139–2154.","DOI":"10.1145\/3133956.3134085"}],"event":{"name":"EuroSys '20: Fifteenth EuroSys Conference 2020","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Heraklion Greece","acronym":"EuroSys '20"},"container-title":["Proceedings of the 13th European workshop on Systems Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380786.3391400","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3380786.3391400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380786.3391400"}},"subtitle":["a kernel fuzzer combining passive and active fuzzing"],"short-title":[],"issued":{"date-parts":[[2020,4,27]]},"references-count":22,"alternative-id":["10.1145\/3380786.3391400","10.1145\/3380786"],"URL":"https:\/\/doi.org\/10.1145\/3380786.3391400","relation":{},"subject":[],"published":{"date-parts":[[2020,4,27]]},"assertion":[{"value":"2020-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}