Matches in SemOpenAlex for { <https://semopenalex.org/work/W3150408214> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3150408214 abstract "Symbolic execution has always been plagued by the inability to handle programs that require highly structured inputs. Most often, the symbolic execution engine gets overwhelmed by the sheer number of infeasible paths and fails to explore enough feasible paths to gain any respectable coverage. In this paper, we propose a system, InVaSion, that attempts to solve this problem for forking-based symbolic execution engines. We propose an input specification language (ISL) that is based on a finite-state automaton but includes guarded transitions, a set of registers and a set of commands to update the register states. We demonstrate that our language is expressive enough to handle complex input specifications, like the Tiff image format, while not requiring substantial human effort; even the Tiff image specification could be specified in our language with an automaton of about 35 states. InVaSion translates the given program and the input specification into a non-deterministic program and uses symbolic execution to instantiate the non-determinism. This allows our tool to work with any forking-based symbolic execution engine and with no requirement of any special theory solver. Over our set of benchmarks, on an average, InVaSion was able to increase branch coverage from 24.97% to 67.84% over baseline KLEE." @default.
- W3150408214 created "2021-04-13" @default.
- W3150408214 creator A5005833533 @default.
- W3150408214 creator A5014601092 @default.
- W3150408214 creator A5065512381 @default.
- W3150408214 creator A5091381428 @default.
- W3150408214 date "2021-04-03" @default.
- W3150408214 modified "2023-10-18" @default.
- W3150408214 title "Input Validation with Symbolic Execution." @default.
- W3150408214 cites W1686420892 @default.
- W3150408214 cites W1710734607 @default.
- W3150408214 cites W1721908487 @default.
- W3150408214 cites W1797591744 @default.
- W3150408214 cites W1971137495 @default.
- W3150408214 cites W2011367000 @default.
- W3150408214 cites W2016027000 @default.
- W3150408214 cites W2049867480 @default.
- W3150408214 cites W2065948900 @default.
- W3150408214 cites W2096449544 @default.
- W3150408214 cites W2101512909 @default.
- W3150408214 cites W2113864883 @default.
- W3150408214 cites W2119342939 @default.
- W3150408214 cites W2161522188 @default.
- W3150408214 cites W2163499368 @default.
- W3150408214 cites W2165015106 @default.
- W3150408214 cites W2274071363 @default.
- W3150408214 cites W2373227884 @default.
- W3150408214 hasPublicationYear "2021" @default.
- W3150408214 type Work @default.
- W3150408214 sameAs 3150408214 @default.
- W3150408214 citedByCount "0" @default.
- W3150408214 crossrefType "posted-content" @default.
- W3150408214 hasAuthorship W3150408214A5005833533 @default.
- W3150408214 hasAuthorship W3150408214A5014601092 @default.
- W3150408214 hasAuthorship W3150408214A5065512381 @default.
- W3150408214 hasAuthorship W3150408214A5091381428 @default.
- W3150408214 hasConcept C11219265 @default.
- W3150408214 hasConcept C112505250 @default.
- W3150408214 hasConcept C167822520 @default.
- W3150408214 hasConcept C177264268 @default.
- W3150408214 hasConcept C199360897 @default.
- W3150408214 hasConcept C2777904410 @default.
- W3150408214 hasConcept C2779639559 @default.
- W3150408214 hasConcept C41008148 @default.
- W3150408214 hasConcept C48103436 @default.
- W3150408214 hasConcept C80444323 @default.
- W3150408214 hasConceptScore W3150408214C11219265 @default.
- W3150408214 hasConceptScore W3150408214C112505250 @default.
- W3150408214 hasConceptScore W3150408214C167822520 @default.
- W3150408214 hasConceptScore W3150408214C177264268 @default.
- W3150408214 hasConceptScore W3150408214C199360897 @default.
- W3150408214 hasConceptScore W3150408214C2777904410 @default.
- W3150408214 hasConceptScore W3150408214C2779639559 @default.
- W3150408214 hasConceptScore W3150408214C41008148 @default.
- W3150408214 hasConceptScore W3150408214C48103436 @default.
- W3150408214 hasConceptScore W3150408214C80444323 @default.
- W3150408214 hasLocation W31504082141 @default.
- W3150408214 hasOpenAccess W3150408214 @default.
- W3150408214 hasPrimaryLocation W31504082141 @default.
- W3150408214 hasRelatedWork W116894366 @default.
- W3150408214 hasRelatedWork W1500010939 @default.
- W3150408214 hasRelatedWork W1979693894 @default.
- W3150408214 hasRelatedWork W2017209518 @default.
- W3150408214 hasRelatedWork W2066353350 @default.
- W3150408214 hasRelatedWork W2096659083 @default.
- W3150408214 hasRelatedWork W2136601052 @default.
- W3150408214 hasRelatedWork W2171469152 @default.
- W3150408214 hasRelatedWork W2293807964 @default.
- W3150408214 hasRelatedWork W2521862145 @default.
- W3150408214 hasRelatedWork W2765419294 @default.
- W3150408214 hasRelatedWork W2883947318 @default.
- W3150408214 hasRelatedWork W2888095626 @default.
- W3150408214 hasRelatedWork W2996310549 @default.
- W3150408214 hasRelatedWork W3109614308 @default.
- W3150408214 hasRelatedWork W3134593724 @default.
- W3150408214 hasRelatedWork W3155108592 @default.
- W3150408214 hasRelatedWork W3194906003 @default.
- W3150408214 hasRelatedWork W832292035 @default.
- W3150408214 hasRelatedWork W2098675293 @default.
- W3150408214 isParatext "false" @default.
- W3150408214 isRetracted "false" @default.
- W3150408214 magId "3150408214" @default.
- W3150408214 workType "article" @default.