Matches in SemOpenAlex for { <https://semopenalex.org/work/W3094962810> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3094962810 abstract "The Linux kernel can be customized and built from over 13,000 configuration options, making it one of the most highly-configurable systems in modern computing. To understand how the kernel is built over these configurations, we present a symbolic execution approach to analyze the Linux kbuild system. By exploiting several unique features in kbuild, we believe our approach can provide accurate results and scale well to the high level of configuration in Linux. Preliminary results show that our prototype can handle hundreds of build files in Linux and provide interesting information about the Linux build system." @default.
- W3094962810 created "2020-11-09" @default.
- W3094962810 creator A5059181444 @default.
- W3094962810 creator A5069411288 @default.
- W3094962810 date "2020-09-01" @default.
- W3094962810 modified "2023-09-23" @default.
- W3094962810 title "Using Symbolic Execution to Analyze Linux KBuild Makefiles" @default.
- W3094962810 cites W1480909796 @default.
- W3094962810 cites W1970005004 @default.
- W3094962810 cites W2009982135 @default.
- W3094962810 cites W2070223459 @default.
- W3094962810 cites W2079105093 @default.
- W3094962810 cites W2098345837 @default.
- W3094962810 cites W2101512909 @default.
- W3094962810 cites W2107147876 @default.
- W3094962810 cites W2123263380 @default.
- W3094962810 cites W2123763923 @default.
- W3094962810 cites W2131286994 @default.
- W3094962810 cites W2136601052 @default.
- W3094962810 cites W2147671787 @default.
- W3094962810 cites W2149155803 @default.
- W3094962810 cites W2547175800 @default.
- W3094962810 cites W2741376011 @default.
- W3094962810 cites W2968504444 @default.
- W3094962810 cites W3151121979 @default.
- W3094962810 doi "https://doi.org/10.1109/icsme46990.2020.00078" @default.
- W3094962810 hasPublicationYear "2020" @default.
- W3094962810 type Work @default.
- W3094962810 sameAs 3094962810 @default.
- W3094962810 citedByCount "3" @default.
- W3094962810 countsByYear W30949628102021 @default.
- W3094962810 countsByYear W30949628102022 @default.
- W3094962810 countsByYear W30949628102023 @default.
- W3094962810 crossrefType "proceedings-article" @default.
- W3094962810 hasAuthorship W3094962810A5059181444 @default.
- W3094962810 hasAuthorship W3094962810A5069411288 @default.
- W3094962810 hasConcept C111919701 @default.
- W3094962810 hasConcept C114614502 @default.
- W3094962810 hasConcept C149635348 @default.
- W3094962810 hasConcept C2777904410 @default.
- W3094962810 hasConcept C2778579508 @default.
- W3094962810 hasConcept C2779639559 @default.
- W3094962810 hasConcept C33923547 @default.
- W3094962810 hasConcept C41008148 @default.
- W3094962810 hasConcept C45463861 @default.
- W3094962810 hasConcept C517481932 @default.
- W3094962810 hasConcept C553261973 @default.
- W3094962810 hasConcept C74193536 @default.
- W3094962810 hasConceptScore W3094962810C111919701 @default.
- W3094962810 hasConceptScore W3094962810C114614502 @default.
- W3094962810 hasConceptScore W3094962810C149635348 @default.
- W3094962810 hasConceptScore W3094962810C2777904410 @default.
- W3094962810 hasConceptScore W3094962810C2778579508 @default.
- W3094962810 hasConceptScore W3094962810C2779639559 @default.
- W3094962810 hasConceptScore W3094962810C33923547 @default.
- W3094962810 hasConceptScore W3094962810C41008148 @default.
- W3094962810 hasConceptScore W3094962810C45463861 @default.
- W3094962810 hasConceptScore W3094962810C517481932 @default.
- W3094962810 hasConceptScore W3094962810C553261973 @default.
- W3094962810 hasConceptScore W3094962810C74193536 @default.
- W3094962810 hasLocation W30949628101 @default.
- W3094962810 hasOpenAccess W3094962810 @default.
- W3094962810 hasPrimaryLocation W30949628101 @default.
- W3094962810 hasRelatedWork W2349507549 @default.
- W3094962810 hasRelatedWork W2354677839 @default.
- W3094962810 hasRelatedWork W2358554276 @default.
- W3094962810 hasRelatedWork W2362760678 @default.
- W3094962810 hasRelatedWork W2368000071 @default.
- W3094962810 hasRelatedWork W2371913687 @default.
- W3094962810 hasRelatedWork W2382003837 @default.
- W3094962810 hasRelatedWork W2390019811 @default.
- W3094962810 hasRelatedWork W2539652097 @default.
- W3094962810 hasRelatedWork W3134788742 @default.
- W3094962810 isParatext "false" @default.
- W3094962810 isRetracted "false" @default.
- W3094962810 magId "3094962810" @default.
- W3094962810 workType "article" @default.