Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156813410> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2156813410 endingPage "1727" @default.
- W2156813410 startingPage "1701" @default.
- W2156813410 abstract "On-the-fly localization of abstract memory states is vital for economical abstract interpretation of imperative programs. Such localization is sometimes called “abstract garbage collection” or “framing”. In this article we present a new memory localization technique that is more effective than the conventional reachability-based approach. Our technique is based on a key observation that collecting the reachable memory parts is too conservative and the accessed parts are usually tiny subsets of the reachable part. Our technique first estimates, by an efficient pre-analysis, which parts of input states will be accessed during the analysis of each code block. Then the main analysis uses the access-set results to trim the memory entries before analyzing code blocks. In experiments with an industrial-strength global C static analyzer, the technique is applied right before analyzing each procedure’s body and reduces the average analysis time and memory by 92.1% and 71.2%, respectively, without sacrificing the analysis precision. In addition, we present three extensions of access-based localization: (1) we generalize the idea and apply the localization more frequently such as at loop bodies and basic blocks as well as procedure bodies, additionally reducing analysis time by an average of 31.8%; (2) we present a technique to mitigate a performance problem of localization in handling recursive procedures, and show that this extension improves the average analysis time by 42%; (3) we show how to incorporate the access-based localization into relational numeric analyses. • The conventional reachability-based localization is too conservative in practice. • We propose access-based localization technique and show that it is much more effective than the reachability-based localization. • Access-based localization is effectively realizable by employing a conservative pre-analysis. • Access-based localization is effectively applicable to arbitrary code blocks rather than procedures." @default.
- W2156813410 created "2016-06-24" @default.
- W2156813410 creator A5042036026 @default.
- W2156813410 creator A5057126487 @default.
- W2156813410 date "2013-09-01" @default.
- W2156813410 modified "2023-10-17" @default.
- W2156813410 title "Access-based abstract memory localization in static analysis" @default.
- W2156813410 cites W1508482211 @default.
- W2156813410 cites W1515252725 @default.
- W2156813410 cites W1518247129 @default.
- W2156813410 cites W1552065586 @default.
- W2156813410 cites W1568478782 @default.
- W2156813410 cites W1582456956 @default.
- W2156813410 cites W1582664260 @default.
- W2156813410 cites W198958201 @default.
- W2156813410 cites W2043100293 @default.
- W2156813410 cites W2043855508 @default.
- W2156813410 cites W2060365801 @default.
- W2156813410 cites W2083878525 @default.
- W2156813410 cites W2110507526 @default.
- W2156813410 cites W2119137801 @default.
- W2156813410 cites W2119648923 @default.
- W2156813410 cites W2138245690 @default.
- W2156813410 cites W2140468016 @default.
- W2156813410 cites W2160563691 @default.
- W2156813410 cites W2165086189 @default.
- W2156813410 cites W2852225 @default.
- W2156813410 cites W3100198463 @default.
- W2156813410 cites W3158747708 @default.
- W2156813410 doi "https://doi.org/10.1016/j.scico.2013.04.002" @default.
- W2156813410 hasPublicationYear "2013" @default.
- W2156813410 type Work @default.
- W2156813410 sameAs 2156813410 @default.
- W2156813410 citedByCount "2" @default.
- W2156813410 countsByYear W21568134102014 @default.
- W2156813410 countsByYear W21568134102015 @default.
- W2156813410 crossrefType "journal-article" @default.
- W2156813410 hasAuthorship W2156813410A5042036026 @default.
- W2156813410 hasAuthorship W2156813410A5057126487 @default.
- W2156813410 hasConcept C111919701 @default.
- W2156813410 hasConcept C11413529 @default.
- W2156813410 hasConcept C136643341 @default.
- W2156813410 hasConcept C162262903 @default.
- W2156813410 hasConcept C173608175 @default.
- W2156813410 hasConcept C177264268 @default.
- W2156813410 hasConcept C199360897 @default.
- W2156813410 hasConcept C26517878 @default.
- W2156813410 hasConcept C2777904410 @default.
- W2156813410 hasConcept C2778029271 @default.
- W2156813410 hasConcept C2780654840 @default.
- W2156813410 hasConcept C28180684 @default.
- W2156813410 hasConcept C41008148 @default.
- W2156813410 hasConcept C80444323 @default.
- W2156813410 hasConcept C97686452 @default.
- W2156813410 hasConceptScore W2156813410C111919701 @default.
- W2156813410 hasConceptScore W2156813410C11413529 @default.
- W2156813410 hasConceptScore W2156813410C136643341 @default.
- W2156813410 hasConceptScore W2156813410C162262903 @default.
- W2156813410 hasConceptScore W2156813410C173608175 @default.
- W2156813410 hasConceptScore W2156813410C177264268 @default.
- W2156813410 hasConceptScore W2156813410C199360897 @default.
- W2156813410 hasConceptScore W2156813410C26517878 @default.
- W2156813410 hasConceptScore W2156813410C2777904410 @default.
- W2156813410 hasConceptScore W2156813410C2778029271 @default.
- W2156813410 hasConceptScore W2156813410C2780654840 @default.
- W2156813410 hasConceptScore W2156813410C28180684 @default.
- W2156813410 hasConceptScore W2156813410C41008148 @default.
- W2156813410 hasConceptScore W2156813410C80444323 @default.
- W2156813410 hasConceptScore W2156813410C97686452 @default.
- W2156813410 hasIssue "9" @default.
- W2156813410 hasLocation W21568134101 @default.
- W2156813410 hasOpenAccess W2156813410 @default.
- W2156813410 hasPrimaryLocation W21568134101 @default.
- W2156813410 hasRelatedWork W2096614659 @default.
- W2156813410 hasRelatedWork W2105882137 @default.
- W2156813410 hasRelatedWork W2156813410 @default.
- W2156813410 hasRelatedWork W2619866502 @default.
- W2156813410 hasRelatedWork W2952657391 @default.
- W2156813410 hasRelatedWork W2956564036 @default.
- W2156813410 hasRelatedWork W3005951833 @default.
- W2156813410 hasRelatedWork W3168894245 @default.
- W2156813410 hasRelatedWork W65560789 @default.
- W2156813410 hasRelatedWork W2789178056 @default.
- W2156813410 hasVolume "78" @default.
- W2156813410 isParatext "false" @default.
- W2156813410 isRetracted "false" @default.
- W2156813410 magId "2156813410" @default.
- W2156813410 workType "article" @default.