Matches in SemOpenAlex for { <https://semopenalex.org/work/W206636664> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W206636664 endingPage "400" @default.
- W206636664 startingPage "378" @default.
- W206636664 abstract "Call graph construction for object-oriented programs is often difficult and expensive. Most sound and precise algorithms analyze the whole program including all library dependencies. The separate compilation assumption makes it possible to generate sound and reasonably precise call graphs without analyzing libraries. We investigate whether the separate compilation assumption can be encoded universally in Java bytecode, such that all existing whole-program analysis frameworks can easily take advantage of it. We present and evaluate Averroes, a tool that generates a placeholder library that overapproximates the possible behaviour of an original library. The placeholder library can be constructed quickly without analyzing the whole program, and is typically in the order of 80 kB of class files (comparatively, the Java standard library is 25 MB). Any existing whole-program call graph construction framework can use the placeholder library as a replacement for the actual libraries to efficiently construct a sound and precise application call graph. Averroes improves the analysis time of whole-program call graph construction by a factor of 4.3x to 12x, and reduces memory requirements by a factor of 8.4x to 13x. In addition, Averroes makes it easier for whole-program frameworks to handle reflection soundly in two ways: it is based on a conservative assumption about all behaviour within the library, including reflection, and it provides analyses and tools to model reflection in the application. The call graphs built with Averroes and existing whole-program frameworks are as precise and sound as those built with Cgc. While Cgc is a specific implementation of the separate compilation assumption in the Doop framework, Averroes is universal to all Java program analysis frameworks." @default.
- W206636664 created "2016-06-24" @default.
- W206636664 creator A5038781215 @default.
- W206636664 creator A5039616179 @default.
- W206636664 date "2013-01-01" @default.
- W206636664 modified "2023-10-17" @default.
- W206636664 title "Averroes: Whole-Program Analysis without the Whole Program" @default.
- W206636664 cites W1536265389 @default.
- W206636664 cites W1591707147 @default.
- W206636664 cites W1595979272 @default.
- W206636664 cites W1618316727 @default.
- W206636664 cites W1959797194 @default.
- W206636664 cites W1987035533 @default.
- W206636664 cites W2105833098 @default.
- W206636664 cites W2106020683 @default.
- W206636664 cites W2146472972 @default.
- W206636664 cites W2151961331 @default.
- W206636664 cites W2162762034 @default.
- W206636664 cites W2166091242 @default.
- W206636664 cites W2167363133 @default.
- W206636664 cites W2169462176 @default.
- W206636664 cites W2171240827 @default.
- W206636664 cites W2997805850 @default.
- W206636664 cites W3000743918 @default.
- W206636664 cites W3005412289 @default.
- W206636664 cites W4230409082 @default.
- W206636664 cites W4238080077 @default.
- W206636664 cites W4247889999 @default.
- W206636664 cites W4251850009 @default.
- W206636664 doi "https://doi.org/10.1007/978-3-642-39038-8_16" @default.
- W206636664 hasPublicationYear "2013" @default.
- W206636664 type Work @default.
- W206636664 sameAs 206636664 @default.
- W206636664 citedByCount "52" @default.
- W206636664 countsByYear W2066366642013 @default.
- W206636664 countsByYear W2066366642014 @default.
- W206636664 countsByYear W2066366642015 @default.
- W206636664 countsByYear W2066366642016 @default.
- W206636664 countsByYear W2066366642017 @default.
- W206636664 countsByYear W2066366642018 @default.
- W206636664 countsByYear W2066366642019 @default.
- W206636664 countsByYear W2066366642020 @default.
- W206636664 countsByYear W2066366642021 @default.
- W206636664 countsByYear W2066366642022 @default.
- W206636664 countsByYear W2066366642023 @default.
- W206636664 crossrefType "book-chapter" @default.
- W206636664 hasAuthorship W206636664A5038781215 @default.
- W206636664 hasAuthorship W206636664A5039616179 @default.
- W206636664 hasBestOaLocation W2066366642 @default.
- W206636664 hasConcept C102379954 @default.
- W206636664 hasConcept C132525143 @default.
- W206636664 hasConcept C199360897 @default.
- W206636664 hasConcept C2779818221 @default.
- W206636664 hasConcept C2780801425 @default.
- W206636664 hasConcept C2781039887 @default.
- W206636664 hasConcept C41008148 @default.
- W206636664 hasConcept C548217200 @default.
- W206636664 hasConcept C65682993 @default.
- W206636664 hasConcept C80444323 @default.
- W206636664 hasConceptScore W206636664C102379954 @default.
- W206636664 hasConceptScore W206636664C132525143 @default.
- W206636664 hasConceptScore W206636664C199360897 @default.
- W206636664 hasConceptScore W206636664C2779818221 @default.
- W206636664 hasConceptScore W206636664C2780801425 @default.
- W206636664 hasConceptScore W206636664C2781039887 @default.
- W206636664 hasConceptScore W206636664C41008148 @default.
- W206636664 hasConceptScore W206636664C548217200 @default.
- W206636664 hasConceptScore W206636664C65682993 @default.
- W206636664 hasConceptScore W206636664C80444323 @default.
- W206636664 hasLocation W2066366641 @default.
- W206636664 hasLocation W2066366642 @default.
- W206636664 hasOpenAccess W206636664 @default.
- W206636664 hasPrimaryLocation W2066366641 @default.
- W206636664 hasRelatedWork W1532887546 @default.
- W206636664 hasRelatedWork W2110333676 @default.
- W206636664 hasRelatedWork W2117534212 @default.
- W206636664 hasRelatedWork W2124765047 @default.
- W206636664 hasRelatedWork W2128133205 @default.
- W206636664 hasRelatedWork W2374056735 @default.
- W206636664 hasRelatedWork W4235530921 @default.
- W206636664 hasRelatedWork W2461779795 @default.
- W206636664 hasRelatedWork W2505061641 @default.
- W206636664 hasRelatedWork W2528467228 @default.
- W206636664 isParatext "false" @default.
- W206636664 isRetracted "false" @default.
- W206636664 magId "206636664" @default.
- W206636664 workType "book-chapter" @default.