FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2509822438> ?p ?o ?g. }

• W2509822438 abstract "Although correct error handling is crucial to software robustness and security, developers often inadvertently introduce bugs in error handling code. Moreover, such bugs are hard to detect using existing bug-finding tools without correct error specifications. Creating error specifications manually is tedious and error-prone. In this paper, we present a new technique that automatically infers error specifications of API functions based on their usage patterns in C programs. Our key insight is that error-handling code tend to have fewer branching points and program statements than the code implementing regular functionality. Our scheme leverages this property to automatically identify error handling code at API call sites and infer the corresponding error constraints. We then use the error constraints from multiple call sites for robust inference of API error specifications. We evaluated our technique on 217 API functions from 6 different libraries across 28 projects written in C and found that it can identify error-handling paths with an average precision of 94% and recall of 66%. We also found that our technique can infer correct API error specifications with an average precision of 77% and recall of 47%. To further demonstrate the usefulness of the inferred error specifications, we used them to find 118 previously unknown potential bugs (including several security flaws that are currently being fixed by the corresponding developers) in the 28 tested projects." @default.
• W2509822438 created "2016-09-16" @default.
• W2509822438 creator A5016425387 @default.
• W2509822438 creator A5031187524 @default.
• W2509822438 creator A5064541855 @default.
• W2509822438 date "2016-08-25" @default.
• W2509822438 modified "2023-09-27" @default.
• W2509822438 title "APEx: automated inference of error specifications for C APIs" @default.
• W2509822438 cites W1657461476 @default.
• W2509822438 cites W1971719033 @default.
• W2509822438 cites W1971772683 @default.
• W2509822438 cites W1973883609 @default.
• W2509822438 cites W1987615754 @default.
• W2509822438 cites W1989657183 @default.
• W2509822438 cites W2008626182 @default.
• W2509822438 cites W2017381700 @default.
• W2509822438 cites W2018912833 @default.
• W2509822438 cites W2043811931 @default.
• W2509822438 cites W2064081154 @default.
• W2509822438 cites W2076990583 @default.
• W2509822438 cites W2087527532 @default.
• W2509822438 cites W2096933749 @default.
• W2509822438 cites W2109612250 @default.
• W2509822438 cites W2119736157 @default.
• W2509822438 cites W2121818394 @default.
• W2509822438 cites W2126104567 @default.
• W2509822438 cites W2129262850 @default.
• W2509822438 cites W2141670850 @default.
• W2509822438 cites W2152565783 @default.
• W2509822438 cites W2155061608 @default.
• W2509822438 cites W2156841542 @default.
• W2509822438 cites W3013310612 @default.
• W2509822438 cites W4232793935 @default.
• W2509822438 cites W4245717706 @default.
• W2509822438 doi "https://doi.org/10.1145/2970276.2970354" @default.
• W2509822438 hasPublicationYear "2016" @default.
• W2509822438 type Work @default.
• W2509822438 sameAs 2509822438 @default.
• W2509822438 citedByCount "26" @default.
• W2509822438 countsByYear W25098224382017 @default.
• W2509822438 countsByYear W25098224382018 @default.
• W2509822438 countsByYear W25098224382019 @default.
• W2509822438 countsByYear W25098224382020 @default.
• W2509822438 countsByYear W25098224382021 @default.
• W2509822438 countsByYear W25098224382022 @default.
• W2509822438 countsByYear W25098224382023 @default.
• W2509822438 crossrefType "proceedings-article" @default.
• W2509822438 hasAuthorship W2509822438A5016425387 @default.
• W2509822438 hasAuthorship W2509822438A5031187524 @default.
• W2509822438 hasAuthorship W2509822438A5064541855 @default.
• W2509822438 hasBestOaLocation W25098224381 @default.
• W2509822438 hasConcept C1009929 @default.
• W2509822438 hasConcept C103088060 @default.
• W2509822438 hasConcept C104317684 @default.
• W2509822438 hasConcept C11413529 @default.
• W2509822438 hasConcept C124101348 @default.
• W2509822438 hasConcept C145428669 @default.
• W2509822438 hasConcept C154945302 @default.
• W2509822438 hasConcept C177264268 @default.
• W2509822438 hasConcept C185592680 @default.
• W2509822438 hasConcept C199360897 @default.
• W2509822438 hasConcept C2776214188 @default.
• W2509822438 hasConcept C2776760102 @default.
• W2509822438 hasConcept C2777904410 @default.
• W2509822438 hasConcept C41008148 @default.
• W2509822438 hasConcept C55493867 @default.
• W2509822438 hasConcept C63479239 @default.
• W2509822438 hasConceptScore W2509822438C1009929 @default.
• W2509822438 hasConceptScore W2509822438C103088060 @default.
• W2509822438 hasConceptScore W2509822438C104317684 @default.
• W2509822438 hasConceptScore W2509822438C11413529 @default.
• W2509822438 hasConceptScore W2509822438C124101348 @default.
• W2509822438 hasConceptScore W2509822438C145428669 @default.
• W2509822438 hasConceptScore W2509822438C154945302 @default.
• W2509822438 hasConceptScore W2509822438C177264268 @default.
• W2509822438 hasConceptScore W2509822438C185592680 @default.
• W2509822438 hasConceptScore W2509822438C199360897 @default.
• W2509822438 hasConceptScore W2509822438C2776214188 @default.
• W2509822438 hasConceptScore W2509822438C2776760102 @default.
• W2509822438 hasConceptScore W2509822438C2777904410 @default.
• W2509822438 hasConceptScore W2509822438C41008148 @default.
• W2509822438 hasConceptScore W2509822438C55493867 @default.
• W2509822438 hasConceptScore W2509822438C63479239 @default.
• W2509822438 hasFunder F4320338279 @default.
• W2509822438 hasLocation W25098224381 @default.
• W2509822438 hasOpenAccess W2509822438 @default.
• W2509822438 hasPrimaryLocation W25098224381 @default.
• W2509822438 hasRelatedWork W2018297885 @default.
• W2509822438 hasRelatedWork W2088791420 @default.
• W2509822438 hasRelatedWork W2384847609 @default.
• W2509822438 hasRelatedWork W2419489257 @default.
• W2509822438 hasRelatedWork W2741422284 @default.
• W2509822438 hasRelatedWork W2889370609 @default.
• W2509822438 hasRelatedWork W3161927982 @default.
• W2509822438 hasRelatedWork W4234637217 @default.
• W2509822438 hasRelatedWork W4310720697 @default.
• W2509822438 hasRelatedWork W4377832888 @default.
• W2509822438 isParatext "false" @default.
• W2509822438 isRetracted "false" @default.
• W2509822438 magId "2509822438" @default.

• next