FRINK Linked Data Fragments server

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

• W1457363419 endingPage "64" @default.
• W1457363419 startingPage "49" @default.
• W1457363419 abstract "Software bugs are a well-known source of security vulnerabilities. One technique for finding bugs, symbolic execution, considers all possible inputs to a program but suffers from scalability limitations. This paper uses a variant, under-constrained symbolic execution, that improves scalability by directly checking individual functions, rather than whole programs. We present UC-KLEE, a novel, scalable framework for checking C/C++ systems code, along with two use cases. First, we use UC-KLEE to check whether patches introduce crashes. We check over 800 patches from BIND and OpenSSL and find 12 bugs, including two OpenSSL denial-of-service vulnerabilities. We also verify (with caveats) that 115 patches do not introduce crashes. Second, we use UC-KLEE as a generalized checking framework and implement checkers to find memory leaks, uninitialized data, and unsafe user input. We evaluate the checkers on over 20,000 functions from BIND, OpenSSL, and the Linux kernel, find 67 bugs, and verify that hundreds of functions are leak free and that thousands of functions do not access uninitialized data." @default.
• W1457363419 created "2016-06-24" @default.
• W1457363419 creator A5020511284 @default.
• W1457363419 creator A5088267090 @default.
• W1457363419 date "2015-08-12" @default.
• W1457363419 modified "2023-09-23" @default.
• W1457363419 title "Under-constrained symbolic execution: correctness checking for real code" @default.
• W1457363419 cites W1545038039 @default.
• W1457363419 cites W1710734607 @default.
• W1457363419 cites W1720848645 @default.
• W1457363419 cites W1738817570 @default.
• W1457363419 cites W1750827721 @default.
• W1457363419 cites W1771925833 @default.
• W1457363419 cites W1856462361 @default.
• W1457363419 cites W1966982815 @default.
• W1457363419 cites W1971719033 @default.
• W1457363419 cites W2017828132 @default.
• W1457363419 cites W2043811931 @default.
• W1457363419 cites W2047694629 @default.
• W1457363419 cites W2074888021 @default.
• W1457363419 cites W2089745089 @default.
• W1457363419 cites W2094382938 @default.
• W1457363419 cites W2096659083 @default.
• W1457363419 cites W2102674270 @default.
• W1457363419 cites W2102970979 @default.
• W1457363419 cites W2105983962 @default.
• W1457363419 cites W2130729525 @default.
• W1457363419 cites W2134633067 @default.
• W1457363419 cites W2138224468 @default.
• W1457363419 cites W2140611647 @default.
• W1457363419 cites W2152565783 @default.
• W1457363419 cites W2153185479 @default.
• W1457363419 cites W2156858199 @default.
• W1457363419 cites W2166140339 @default.
• W1457363419 cites W2238866705 @default.
• W1457363419 cites W95169743 @default.
• W1457363419 hasPublicationYear "2015" @default.
• W1457363419 type Work @default.
• W1457363419 sameAs 1457363419 @default.
• W1457363419 citedByCount "44" @default.
• W1457363419 countsByYear W14573634192015 @default.
• W1457363419 countsByYear W14573634192016 @default.
• W1457363419 countsByYear W14573634192017 @default.
• W1457363419 countsByYear W14573634192018 @default.
• W1457363419 countsByYear W14573634192019 @default.
• W1457363419 countsByYear W14573634192020 @default.
• W1457363419 countsByYear W14573634192021 @default.
• W1457363419 crossrefType "proceedings-article" @default.
• W1457363419 hasAuthorship W1457363419A5020511284 @default.
• W1457363419 hasAuthorship W1457363419A5088267090 @default.
• W1457363419 hasConcept C1009929 @default.
• W1457363419 hasConcept C110251889 @default.
• W1457363419 hasConcept C111919701 @default.
• W1457363419 hasConcept C114614502 @default.
• W1457363419 hasConcept C177264268 @default.
• W1457363419 hasConcept C199360897 @default.
• W1457363419 hasConcept C2776760102 @default.
• W1457363419 hasConcept C2777904410 @default.
• W1457363419 hasConcept C2779639559 @default.
• W1457363419 hasConcept C28180684 @default.
• W1457363419 hasConcept C33923547 @default.
• W1457363419 hasConcept C41008148 @default.
• W1457363419 hasConcept C43126263 @default.
• W1457363419 hasConcept C48044578 @default.
• W1457363419 hasConcept C55439883 @default.
• W1457363419 hasConcept C74193536 @default.
• W1457363419 hasConcept C80444323 @default.
• W1457363419 hasConceptScore W1457363419C1009929 @default.
• W1457363419 hasConceptScore W1457363419C110251889 @default.
• W1457363419 hasConceptScore W1457363419C111919701 @default.
• W1457363419 hasConceptScore W1457363419C114614502 @default.
• W1457363419 hasConceptScore W1457363419C177264268 @default.
• W1457363419 hasConceptScore W1457363419C199360897 @default.
• W1457363419 hasConceptScore W1457363419C2776760102 @default.
• W1457363419 hasConceptScore W1457363419C2777904410 @default.
• W1457363419 hasConceptScore W1457363419C2779639559 @default.
• W1457363419 hasConceptScore W1457363419C28180684 @default.
• W1457363419 hasConceptScore W1457363419C33923547 @default.
• W1457363419 hasConceptScore W1457363419C41008148 @default.
• W1457363419 hasConceptScore W1457363419C43126263 @default.
• W1457363419 hasConceptScore W1457363419C48044578 @default.
• W1457363419 hasConceptScore W1457363419C55439883 @default.
• W1457363419 hasConceptScore W1457363419C74193536 @default.
• W1457363419 hasConceptScore W1457363419C80444323 @default.
• W1457363419 hasLocation W14573634191 @default.
• W1457363419 hasOpenAccess W1457363419 @default.
• W1457363419 hasPrimaryLocation W14573634191 @default.
• W1457363419 hasRelatedWork W1480909796 @default.
• W1457363419 hasRelatedWork W1496222301 @default.
• W1457363419 hasRelatedWork W157156687 @default.
• W1457363419 hasRelatedWork W1710734607 @default.
• W1457363419 hasRelatedWork W1720848645 @default.
• W1457363419 hasRelatedWork W1970005004 @default.
• W1457363419 hasRelatedWork W1971719033 @default.
• W1457363419 hasRelatedWork W2009489720 @default.
• W1457363419 hasRelatedWork W2042033151 @default.
• W1457363419 hasRelatedWork W2091939272 @default.
• W1457363419 hasRelatedWork W2096449544 @default.

• next