Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385899890> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W4385899890 abstract "Fuzz testing operating system kernels has been effective overall in recent years. For example, syzkaller manages to find thousands of bugs in the Linux kernel since 2017. One necessary component of syzkaller is a collection of syscall descriptions that are often provided by human experts. However, to our knowledge, current syscall descriptions are largely written manually, which is both time-consuming and error-prone. It is especially challenging considering that there are many kernel drivers (for new hardware devices and beyond) that are continuously being developed and evolving over time. In this paper, we present a principled solution for generating syscall descriptions for Linux kernel drivers. At its core, we summarize and model the key invariants or programming conventions, extracted from the contract between the core kernel and drivers. This allows us to understand programmatically how a kernel driver is initialized and how its associated interfaces are constructed. With this insight, we have developed a solution in a tool called SyzDescribe that has been tested for over hundreds of kernel drivers. We show that the syscall descriptions produced by SyzDescribe are competitive to manually-curated ones, and much better than prior work (i.e., DIFUZE and KSG). Finally, we analyze the gap between our descriptions and the ground truth and point to future improvement opportunities." @default.
- W4385899890 created "2023-08-18" @default.
- W4385899890 creator A5001973865 @default.
- W4385899890 creator A5003045043 @default.
- W4385899890 creator A5018334224 @default.
- W4385899890 creator A5022038961 @default.
- W4385899890 creator A5026160046 @default.
- W4385899890 creator A5051502370 @default.
- W4385899890 creator A5062977951 @default.
- W4385899890 date "2023-05-01" @default.
- W4385899890 modified "2023-10-16" @default.
- W4385899890 title "SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers" @default.
- W4385899890 cites W2078186835 @default.
- W4385899890 cites W2127321265 @default.
- W4385899890 cites W2243109068 @default.
- W4385899890 cites W2320211919 @default.
- W4385899890 cites W2766711930 @default.
- W4385899890 cites W2792181598 @default.
- W4385899890 cites W2947814692 @default.
- W4385899890 cites W2964241064 @default.
- W4385899890 cites W2981689050 @default.
- W4385899890 cites W2987375469 @default.
- W4385899890 cites W3007127028 @default.
- W4385899890 cites W3109904794 @default.
- W4385899890 cites W3207016455 @default.
- W4385899890 cites W3211018769 @default.
- W4385899890 cites W3212828841 @default.
- W4385899890 cites W3214111992 @default.
- W4385899890 cites W4225985424 @default.
- W4385899890 cites W4236649450 @default.
- W4385899890 cites W4246166885 @default.
- W4385899890 cites W4284702560 @default.
- W4385899890 cites W4285490479 @default.
- W4385899890 doi "https://doi.org/10.1109/sp46215.2023.10179298" @default.
- W4385899890 hasPublicationYear "2023" @default.
- W4385899890 type Work @default.
- W4385899890 citedByCount "0" @default.
- W4385899890 crossrefType "proceedings-article" @default.
- W4385899890 hasAuthorship W4385899890A5001973865 @default.
- W4385899890 hasAuthorship W4385899890A5003045043 @default.
- W4385899890 hasAuthorship W4385899890A5018334224 @default.
- W4385899890 hasAuthorship W4385899890A5022038961 @default.
- W4385899890 hasAuthorship W4385899890A5026160046 @default.
- W4385899890 hasAuthorship W4385899890A5051502370 @default.
- W4385899890 hasAuthorship W4385899890A5062977951 @default.
- W4385899890 hasConcept C111919701 @default.
- W4385899890 hasConcept C114614502 @default.
- W4385899890 hasConcept C115903868 @default.
- W4385899890 hasConcept C119857082 @default.
- W4385899890 hasConcept C121332964 @default.
- W4385899890 hasConcept C168167062 @default.
- W4385899890 hasConcept C199360897 @default.
- W4385899890 hasConcept C2164484 @default.
- W4385899890 hasConcept C2524010 @default.
- W4385899890 hasConcept C28719098 @default.
- W4385899890 hasConcept C33923547 @default.
- W4385899890 hasConcept C41008148 @default.
- W4385899890 hasConcept C553261973 @default.
- W4385899890 hasConcept C74193536 @default.
- W4385899890 hasConcept C76155785 @default.
- W4385899890 hasConcept C90307666 @default.
- W4385899890 hasConcept C97355855 @default.
- W4385899890 hasConceptScore W4385899890C111919701 @default.
- W4385899890 hasConceptScore W4385899890C114614502 @default.
- W4385899890 hasConceptScore W4385899890C115903868 @default.
- W4385899890 hasConceptScore W4385899890C119857082 @default.
- W4385899890 hasConceptScore W4385899890C121332964 @default.
- W4385899890 hasConceptScore W4385899890C168167062 @default.
- W4385899890 hasConceptScore W4385899890C199360897 @default.
- W4385899890 hasConceptScore W4385899890C2164484 @default.
- W4385899890 hasConceptScore W4385899890C2524010 @default.
- W4385899890 hasConceptScore W4385899890C28719098 @default.
- W4385899890 hasConceptScore W4385899890C33923547 @default.
- W4385899890 hasConceptScore W4385899890C41008148 @default.
- W4385899890 hasConceptScore W4385899890C553261973 @default.
- W4385899890 hasConceptScore W4385899890C74193536 @default.
- W4385899890 hasConceptScore W4385899890C76155785 @default.
- W4385899890 hasConceptScore W4385899890C90307666 @default.
- W4385899890 hasConceptScore W4385899890C97355855 @default.
- W4385899890 hasLocation W43858998901 @default.
- W4385899890 hasOpenAccess W4385899890 @default.
- W4385899890 hasPrimaryLocation W43858998901 @default.
- W4385899890 hasRelatedWork W1965076509 @default.
- W4385899890 hasRelatedWork W1996063432 @default.
- W4385899890 hasRelatedWork W2022309048 @default.
- W4385899890 hasRelatedWork W2349507549 @default.
- W4385899890 hasRelatedWork W2349666542 @default.
- W4385899890 hasRelatedWork W2351352110 @default.
- W4385899890 hasRelatedWork W2352657247 @default.
- W4385899890 hasRelatedWork W2371792015 @default.
- W4385899890 hasRelatedWork W2384828595 @default.
- W4385899890 hasRelatedWork W3134788742 @default.
- W4385899890 isParatext "false" @default.
- W4385899890 isRetracted "false" @default.
- W4385899890 workType "article" @default.