Matches in SemOpenAlex for { <https://semopenalex.org/work/W2147004007> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2147004007 endingPage "65" @default.
- W2147004007 startingPage "50" @default.
- W2147004007 abstract "We present an extension of access-based localization technique to mitigate a substantial inefficiency in handling procedure calls. Recently, access-based localization was proposed as an effective way of tightly localizing abstract memories. However, it has a limitation in handling procedure calls: the localized input memory for a procedure contains not only memory locations accessed by the procedure but also those accessed by transitively called procedures. The weakness is especially exacerbated in the presence of recursive call cycles, which is common in analysis of realistic programs. In this paper, we present a technique, called bypassing, that mitigates the problem. Our technique localizes input memory states only with memory locations that the procedure directly accesses. Those parts not involved in analysis of the procedure are bypassed to transitively called procedures. In experiments with an industrial-strength global C static analyzer, the technique reduces the average analysis time by 42%. In particular, the technique is especially effective for programs that extensively use recursion: it saves analysis time by 77% on average." @default.
- W2147004007 created "2016-06-24" @default.
- W2147004007 creator A5042036026 @default.
- W2147004007 creator A5057126487 @default.
- W2147004007 date "2011-01-01" @default.
- W2147004007 modified "2023-10-17" @default.
- W2147004007 title "Access-Based Localization with Bypassing" @default.
- W2147004007 cites W1508482211 @default.
- W2147004007 cites W1515252725 @default.
- W2147004007 cites W1552065586 @default.
- W2147004007 cites W2032854624 @default.
- W2147004007 cites W2043100293 @default.
- W2147004007 cites W2043855508 @default.
- W2147004007 cites W2080573945 @default.
- W2147004007 cites W2083878525 @default.
- W2147004007 cites W2102890180 @default.
- W2147004007 cites W2119648923 @default.
- W2147004007 cites W2138245690 @default.
- W2147004007 cites W2141373773 @default.
- W2147004007 cites W2160563691 @default.
- W2147004007 cites W2170736936 @default.
- W2147004007 cites W3006530635 @default.
- W2147004007 cites W3011557297 @default.
- W2147004007 cites W3139419613 @default.
- W2147004007 cites W3147482974 @default.
- W2147004007 doi "https://doi.org/10.1007/978-3-642-25318-8_7" @default.
- W2147004007 hasPublicationYear "2011" @default.
- W2147004007 type Work @default.
- W2147004007 sameAs 2147004007 @default.
- W2147004007 citedByCount "6" @default.
- W2147004007 countsByYear W21470040072012 @default.
- W2147004007 countsByYear W21470040072014 @default.
- W2147004007 countsByYear W21470040072018 @default.
- W2147004007 countsByYear W21470040072021 @default.
- W2147004007 crossrefType "book-chapter" @default.
- W2147004007 hasAuthorship W2147004007A5042036026 @default.
- W2147004007 hasAuthorship W2147004007A5057126487 @default.
- W2147004007 hasConcept C111919701 @default.
- W2147004007 hasConcept C11413529 @default.
- W2147004007 hasConcept C162324750 @default.
- W2147004007 hasConcept C168773036 @default.
- W2147004007 hasConcept C175444787 @default.
- W2147004007 hasConcept C176649486 @default.
- W2147004007 hasConcept C199360897 @default.
- W2147004007 hasConcept C2778869765 @default.
- W2147004007 hasConcept C41008148 @default.
- W2147004007 hasConcept C97686452 @default.
- W2147004007 hasConcept C98986596 @default.
- W2147004007 hasConceptScore W2147004007C111919701 @default.
- W2147004007 hasConceptScore W2147004007C11413529 @default.
- W2147004007 hasConceptScore W2147004007C162324750 @default.
- W2147004007 hasConceptScore W2147004007C168773036 @default.
- W2147004007 hasConceptScore W2147004007C175444787 @default.
- W2147004007 hasConceptScore W2147004007C176649486 @default.
- W2147004007 hasConceptScore W2147004007C199360897 @default.
- W2147004007 hasConceptScore W2147004007C2778869765 @default.
- W2147004007 hasConceptScore W2147004007C41008148 @default.
- W2147004007 hasConceptScore W2147004007C97686452 @default.
- W2147004007 hasConceptScore W2147004007C98986596 @default.
- W2147004007 hasLocation W21470040071 @default.
- W2147004007 hasOpenAccess W2147004007 @default.
- W2147004007 hasPrimaryLocation W21470040071 @default.
- W2147004007 hasRelatedWork W1864471247 @default.
- W2147004007 hasRelatedWork W2080575293 @default.
- W2147004007 hasRelatedWork W2112962394 @default.
- W2147004007 hasRelatedWork W2118300983 @default.
- W2147004007 hasRelatedWork W2998594779 @default.
- W2147004007 hasRelatedWork W3009635326 @default.
- W2147004007 hasRelatedWork W3137189469 @default.
- W2147004007 hasRelatedWork W4235530921 @default.
- W2147004007 hasRelatedWork W4243252198 @default.
- W2147004007 hasRelatedWork W4297776177 @default.
- W2147004007 isParatext "false" @default.
- W2147004007 isRetracted "false" @default.
- W2147004007 magId "2147004007" @default.
- W2147004007 workType "book-chapter" @default.