Matches in SemOpenAlex for { <https://semopenalex.org/work/W2324893208> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2324893208 endingPage "316" @default.
- W2324893208 startingPage "293" @default.
- W2324893208 abstract "Nowadays static verification is one of the most promising methods for finding bugs in programs. To apply successfully existing tools for the Linux kernel one needs to perform componentwise verification. Such verification needs an environment model that reflects a real environment of components rather accurately. Development of the complete environment model for Linux kernel components is a very time-consuming task since there are too many programming interfaces in the kernel and they are not stable. The given paper suggests a new approach for building programming interface specifications. This approach allows one to apply static verification tools efficiently (with small number of false alarms but without missed bugs) for checking rules of programming interfaces usage under conditions of the incomplete environment model, if component developers obey a specific coding style. Two implementations of the suggested approach were developed. The first one extended the BLAST static verification tool while the second one utilized C Instrumentation Framework – an aspect-oriented programming implementation for the C programming language. The latter allowed to use various static verification tools, like BLAST, CPAchecker, CBMC, etc., for checking specifications. In practice that implementation helped to reduce the number of false alarms on more than 70% for some rules of programming interfaces usage. The paper shows that to avoid left false alarms one needs to develop more precise environment models and to use more accurate static verification tools. Besides the Linux kernel the suggested approach can be applied for componentwise verification in projects where developers obey the specific coding style." @default.
- W2324893208 created "2016-06-24" @default.
- W2324893208 creator A5063500260 @default.
- W2324893208 date "2013-01-01" @default.
- W2324893208 modified "2023-09-26" @default.
- W2324893208 title "Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel" @default.
- W2324893208 cites W1510316655 @default.
- W2324893208 cites W1520219097 @default.
- W2324893208 cites W1754076483 @default.
- W2324893208 cites W1877910042 @default.
- W2324893208 cites W191909076 @default.
- W2324893208 cites W1951429307 @default.
- W2324893208 cites W1986736724 @default.
- W2324893208 cites W2027179699 @default.
- W2324893208 cites W2066859698 @default.
- W2324893208 cites W2123758397 @default.
- W2324893208 cites W2161407365 @default.
- W2324893208 cites W2315542944 @default.
- W2324893208 cites W81670375 @default.
- W2324893208 cites W92417405 @default.
- W2324893208 cites W95161029 @default.
- W2324893208 doi "https://doi.org/10.15514/ispras-2013-24-13" @default.
- W2324893208 hasPublicationYear "2013" @default.
- W2324893208 type Work @default.
- W2324893208 sameAs 2324893208 @default.
- W2324893208 citedByCount "0" @default.
- W2324893208 crossrefType "journal-article" @default.
- W2324893208 hasAuthorship W2324893208A5063500260 @default.
- W2324893208 hasBestOaLocation W23248932081 @default.
- W2324893208 hasConcept C111919701 @default.
- W2324893208 hasConcept C113843644 @default.
- W2324893208 hasConcept C114614502 @default.
- W2324893208 hasConcept C121332964 @default.
- W2324893208 hasConcept C129307140 @default.
- W2324893208 hasConcept C157915830 @default.
- W2324893208 hasConcept C168167062 @default.
- W2324893208 hasConcept C199360897 @default.
- W2324893208 hasConcept C33923547 @default.
- W2324893208 hasConcept C41008148 @default.
- W2324893208 hasConcept C553261973 @default.
- W2324893208 hasConcept C74193536 @default.
- W2324893208 hasConcept C97355855 @default.
- W2324893208 hasConcept C97686452 @default.
- W2324893208 hasConceptScore W2324893208C111919701 @default.
- W2324893208 hasConceptScore W2324893208C113843644 @default.
- W2324893208 hasConceptScore W2324893208C114614502 @default.
- W2324893208 hasConceptScore W2324893208C121332964 @default.
- W2324893208 hasConceptScore W2324893208C129307140 @default.
- W2324893208 hasConceptScore W2324893208C157915830 @default.
- W2324893208 hasConceptScore W2324893208C168167062 @default.
- W2324893208 hasConceptScore W2324893208C199360897 @default.
- W2324893208 hasConceptScore W2324893208C33923547 @default.
- W2324893208 hasConceptScore W2324893208C41008148 @default.
- W2324893208 hasConceptScore W2324893208C553261973 @default.
- W2324893208 hasConceptScore W2324893208C74193536 @default.
- W2324893208 hasConceptScore W2324893208C97355855 @default.
- W2324893208 hasConceptScore W2324893208C97686452 @default.
- W2324893208 hasLocation W23248932081 @default.
- W2324893208 hasOpenAccess W2324893208 @default.
- W2324893208 hasPrimaryLocation W23248932081 @default.
- W2324893208 hasRelatedWork W1965076509 @default.
- W2324893208 hasRelatedWork W2013637613 @default.
- W2324893208 hasRelatedWork W2347608685 @default.
- W2324893208 hasRelatedWork W2349507549 @default.
- W2324893208 hasRelatedWork W2371792015 @default.
- W2324893208 hasRelatedWork W2382003837 @default.
- W2324893208 hasRelatedWork W2389042919 @default.
- W2324893208 hasRelatedWork W2922489375 @default.
- W2324893208 hasRelatedWork W2999306385 @default.
- W2324893208 hasRelatedWork W978527440 @default.
- W2324893208 hasVolume "24" @default.
- W2324893208 isParatext "false" @default.
- W2324893208 isRetracted "false" @default.
- W2324893208 magId "2324893208" @default.
- W2324893208 workType "article" @default.