FRINK Linked Data Fragments server

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

• W2246980366 abstract "Bug detection using static analysis has been found useful in practice for ensuring software quality and reliability. However, it often requires sifting through a large number of warnings. This can be handled by generating an assertion corresponding to each warning and verifying the assertion using a model checker to classify the warning as an error or a false positive. Since model checking over larger code fragments is non-scalable and expensive, it is useful to model check a given assertion with a small calling context length. For this, the variables receiving values from outside the context are initialized with arbitrary values generated by non-deterministic choice functions. The calling context length is then gradually increased on a need basis to include callers higher up in the call chains. While this aids scalability by keeping the calling context as small as possible, it requires multiple calls to model checker for the same assertion, requiring a considerable amount of time. We present a static analysis to expedite false positive elimination. It is based on the following observation: When the variables involved in an assertion are allowed to take arbitrary values at the point of assertion, the assertion is most likely to be violated by some or the other combination of values. In such cases, usage of a model checker is redundant as it does not aid in resolution of the corresponding warning. Our data flow analysis identifies (an over-approximated set of) such variables using a novel lattice so that model checking of assertions involving such variables can be avoided. Our empirical evaluation demonstrates that, on an average, the proposed static analysis avoids 49.49% of the total model checking calls, and it reduces the false positives elimination time by 39.28%. However, this gain is achieved at the cost of missing 2.78% false positives which could have been eliminated otherwise." @default.
• W2246980366 created "2016-06-24" @default.
• W2246980366 creator A5028823981 @default.
• W2246980366 creator A5030116244 @default.
• W2246980366 date "2015-11-01" @default.
• W2246980366 modified "2023-09-27" @default.
• W2246980366 title "Efficient elimination of false positives using static analysis" @default.
• W2246980366 cites W115840114 @default.
• W2246980366 cites W1553894716 @default.
• W2246980366 cites W1608648886 @default.
• W2246980366 cites W1843794072 @default.
• W2246980366 cites W2050838465 @default.
• W2246980366 cites W2106438110 @default.
• W2246980366 cites W2124228276 @default.
• W2246980366 cites W2132226975 @default.
• W2246980366 cites W2140943194 @default.
• W2246980366 cites W4251476415 @default.
• W2246980366 doi "https://doi.org/10.1109/issre.2015.7381820" @default.
• W2246980366 hasPublicationYear "2015" @default.
• W2246980366 type Work @default.
• W2246980366 sameAs 2246980366 @default.
• W2246980366 citedByCount "9" @default.
• W2246980366 countsByYear W22469803662016 @default.
• W2246980366 countsByYear W22469803662017 @default.
• W2246980366 countsByYear W22469803662020 @default.
• W2246980366 countsByYear W22469803662021 @default.
• W2246980366 countsByYear W22469803662022 @default.
• W2246980366 countsByYear W22469803662023 @default.
• W2246980366 crossrefType "proceedings-article" @default.
• W2246980366 hasAuthorship W2246980366A5028823981 @default.
• W2246980366 hasAuthorship W2246980366A5030116244 @default.
• W2246980366 hasConcept C154945302 @default.
• W2246980366 hasConcept C199360897 @default.
• W2246980366 hasConcept C41008148 @default.
• W2246980366 hasConcept C64869954 @default.
• W2246980366 hasConcept C97686452 @default.
• W2246980366 hasConceptScore W2246980366C154945302 @default.
• W2246980366 hasConceptScore W2246980366C199360897 @default.
• W2246980366 hasConceptScore W2246980366C41008148 @default.
• W2246980366 hasConceptScore W2246980366C64869954 @default.
• W2246980366 hasConceptScore W2246980366C97686452 @default.
• W2246980366 hasLocation W22469803661 @default.
• W2246980366 hasOpenAccess W2246980366 @default.
• W2246980366 hasPrimaryLocation W22469803661 @default.
• W2246980366 hasRelatedWork W1827256152 @default.
• W2246980366 hasRelatedWork W1843794072 @default.
• W2246980366 hasRelatedWork W2019168903 @default.
• W2246980366 hasRelatedWork W2359916969 @default.
• W2246980366 hasRelatedWork W2360139790 @default.
• W2246980366 hasRelatedWork W3163798569 @default.
• W2246980366 hasRelatedWork W4241086586 @default.
• W2246980366 hasRelatedWork W4244247685 @default.
• W2246980366 hasRelatedWork W4252845830 @default.
• W2246980366 hasRelatedWork W2901649410 @default.
• W2246980366 isParatext "false" @default.
• W2246980366 isRetracted "false" @default.
• W2246980366 magId "2246980366" @default.
• W2246980366 workType "article" @default.