Matches in SemOpenAlex for { <https://semopenalex.org/work/W2931028669> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2931028669 endingPage "60" @default.
- W2931028669 startingPage "43" @default.
- W2931028669 abstract "Static program analysis often encounters problems in analyzing library code. Most real-world programs use library functions intensively, and library functions are usually written in different languages. For example, static analysis of JavaScript programs requires analysis of the standard built-in library implemented in host environments. A common approach to analyze such opaque code is for analysis developers to build models that provide the semantics of the code. Models can be built either manually, which is time consuming and error prone, or automatically, which may limit application to different languages or analyzers. In this paper, we present a novel mechanism to support automatic modeling of opaque code, which is applicable to various languages and analyzers. For a given static analysis, our approach automatically computes analysis results of opaque code via dynamic testing during static analysis. By using testing techniques, the mechanism does not guarantee sound over-approximation of program behaviors in general. However, it is fully automatic, is scalable in terms of the size of opaque code, and provides more precise results than conventional over-approximation approaches. Our evaluation shows that although not all functionalities in opaque code can (or should) be modeled automatically using our technique, a large number of JavaScript built-in functions are approximated soundly yet more precisely than existing manual models." @default.
- W2931028669 created "2019-04-11" @default.
- W2931028669 creator A5050579195 @default.
- W2931028669 creator A5056521873 @default.
- W2931028669 creator A5087492388 @default.
- W2931028669 date "2019-01-01" @default.
- W2931028669 modified "2023-09-24" @default.
- W2931028669 title "Automatic Modeling of Opaque Code for JavaScript Static Analysis" @default.
- W2931028669 cites W1987647365 @default.
- W2931028669 cites W1992859750 @default.
- W2931028669 cites W2008685183 @default.
- W2931028669 cites W2014143312 @default.
- W2931028669 cites W2024818492 @default.
- W2931028669 cites W2027625187 @default.
- W2931028669 cites W2040518484 @default.
- W2931028669 cites W2043100293 @default.
- W2931028669 cites W2094677873 @default.
- W2931028669 cites W2107147876 @default.
- W2931028669 cites W2113248059 @default.
- W2931028669 cites W2128204165 @default.
- W2931028669 cites W2134734244 @default.
- W2931028669 cites W2139107230 @default.
- W2931028669 cites W2139980638 @default.
- W2931028669 cites W2146105230 @default.
- W2931028669 cites W2155539595 @default.
- W2931028669 cites W2385474486 @default.
- W2931028669 cites W2621177934 @default.
- W2931028669 cites W4234542549 @default.
- W2931028669 cites W4240895478 @default.
- W2931028669 cites W1974031481 @default.
- W2931028669 doi "https://doi.org/10.1007/978-3-030-16722-6_3" @default.
- W2931028669 hasPublicationYear "2019" @default.
- W2931028669 type Work @default.
- W2931028669 sameAs 2931028669 @default.
- W2931028669 citedByCount "6" @default.
- W2931028669 countsByYear W29310286692020 @default.
- W2931028669 countsByYear W29310286692021 @default.
- W2931028669 countsByYear W29310286692022 @default.
- W2931028669 crossrefType "book-chapter" @default.
- W2931028669 hasAuthorship W2931028669A5050579195 @default.
- W2931028669 hasAuthorship W2931028669A5056521873 @default.
- W2931028669 hasAuthorship W2931028669A5087492388 @default.
- W2931028669 hasBestOaLocation W29310286691 @default.
- W2931028669 hasConcept C120665830 @default.
- W2931028669 hasConcept C121332964 @default.
- W2931028669 hasConcept C137287247 @default.
- W2931028669 hasConcept C177264268 @default.
- W2931028669 hasConcept C184337299 @default.
- W2931028669 hasConcept C199360897 @default.
- W2931028669 hasConcept C2776760102 @default.
- W2931028669 hasConcept C2777904410 @default.
- W2931028669 hasConcept C41008148 @default.
- W2931028669 hasConcept C43126263 @default.
- W2931028669 hasConcept C529173508 @default.
- W2931028669 hasConcept C544833334 @default.
- W2931028669 hasConcept C60056205 @default.
- W2931028669 hasConcept C97686452 @default.
- W2931028669 hasConcept C98183937 @default.
- W2931028669 hasConceptScore W2931028669C120665830 @default.
- W2931028669 hasConceptScore W2931028669C121332964 @default.
- W2931028669 hasConceptScore W2931028669C137287247 @default.
- W2931028669 hasConceptScore W2931028669C177264268 @default.
- W2931028669 hasConceptScore W2931028669C184337299 @default.
- W2931028669 hasConceptScore W2931028669C199360897 @default.
- W2931028669 hasConceptScore W2931028669C2776760102 @default.
- W2931028669 hasConceptScore W2931028669C2777904410 @default.
- W2931028669 hasConceptScore W2931028669C41008148 @default.
- W2931028669 hasConceptScore W2931028669C43126263 @default.
- W2931028669 hasConceptScore W2931028669C529173508 @default.
- W2931028669 hasConceptScore W2931028669C544833334 @default.
- W2931028669 hasConceptScore W2931028669C60056205 @default.
- W2931028669 hasConceptScore W2931028669C97686452 @default.
- W2931028669 hasConceptScore W2931028669C98183937 @default.
- W2931028669 hasLocation W29310286691 @default.
- W2931028669 hasOpenAccess W2931028669 @default.
- W2931028669 hasPrimaryLocation W29310286691 @default.
- W2931028669 hasRelatedWork W1902907570 @default.
- W2931028669 hasRelatedWork W1983391238 @default.
- W2931028669 hasRelatedWork W2032897247 @default.
- W2931028669 hasRelatedWork W2139980638 @default.
- W2931028669 hasRelatedWork W2151229769 @default.
- W2931028669 hasRelatedWork W2159712408 @default.
- W2931028669 hasRelatedWork W3013559043 @default.
- W2931028669 hasRelatedWork W3084917208 @default.
- W2931028669 hasRelatedWork W4287669589 @default.
- W2931028669 hasRelatedWork W60611840 @default.
- W2931028669 isParatext "false" @default.
- W2931028669 isRetracted "false" @default.
- W2931028669 magId "2931028669" @default.
- W2931028669 workType "book-chapter" @default.