Matches in SemOpenAlex for { <https://semopenalex.org/work/W2593313458> ?p ?o ?g. }
- W2593313458 abstract "The design and implementation of static analyses that disambiguate pointers has been a focus of research since the early days of compiler construction. One of the challenges that arise in this context is the analysis of languages that support pointer arithmetics, such as C, C++ and assembly dialects. This paper contributes to solve this challenge. We start from an obvious, yet unexplored, observation: if a pointer is strictly less than another, they cannot alias. Motivated by this remark, we use abstract interpretation to build strict less-than relations between pointers. We construct a program representation that bestows the Static Single Information (SSI) property onto our dataflow analysis. SSI gives us a sparse algorithm, whose correctness is easy to ensure. We have implemented our static analysis in LLVM. It runs in time linear on the number of program variables, and, depending on the benchmark, it can be as much as six times more precise than the pointer disambiguation techniques already in place in that compiler." @default.
- W2593313458 created "2017-03-16" @default.
- W2593313458 creator A5015204054 @default.
- W2593313458 creator A5020563470 @default.
- W2593313458 creator A5059186408 @default.
- W2593313458 creator A5078149140 @default.
- W2593313458 creator A5091563094 @default.
- W2593313458 date "2017-02-04" @default.
- W2593313458 modified "2023-09-26" @default.
- W2593313458 title "Pointer Disambiguation via Strict Inequalities" @default.
- W2593313458 cites W1513884898 @default.
- W2593313458 cites W1556425961 @default.
- W2593313458 cites W1582456956 @default.
- W2593313458 cites W1871311856 @default.
- W2593313458 cites W1883303451 @default.
- W2593313458 cites W1966032455 @default.
- W2593313458 cites W1966449927 @default.
- W2593313458 cites W1971782746 @default.
- W2593313458 cites W1974133806 @default.
- W2593313458 cites W1982205631 @default.
- W2593313458 cites W1985774614 @default.
- W2593313458 cites W2040825319 @default.
- W2593313458 cites W2043100293 @default.
- W2593313458 cites W2046699259 @default.
- W2593313458 cites W2066535672 @default.
- W2593313458 cites W2085050643 @default.
- W2593313458 cites W2087612811 @default.
- W2593313458 cites W2088105804 @default.
- W2593313458 cites W2098456636 @default.
- W2593313458 cites W2107742417 @default.
- W2593313458 cites W2112482891 @default.
- W2593313458 cites W2122745100 @default.
- W2593313458 cites W2130711572 @default.
- W2593313458 cites W2131135493 @default.
- W2593313458 cites W2132661148 @default.
- W2593313458 cites W2134569009 @default.
- W2593313458 cites W2144344516 @default.
- W2593313458 cites W2145911832 @default.
- W2593313458 cites W2148597203 @default.
- W2593313458 cites W2149237601 @default.
- W2593313458 cites W2149640383 @default.
- W2593313458 cites W2153185479 @default.
- W2593313458 cites W2153578567 @default.
- W2593313458 cites W2158600037 @default.
- W2593313458 cites W2289498116 @default.
- W2593313458 cites W2291222735 @default.
- W2593313458 cites W2296151933 @default.
- W2593313458 cites W2297774820 @default.
- W2593313458 cites W2414762192 @default.
- W2593313458 cites W2439372080 @default.
- W2593313458 cites W2511015845 @default.
- W2593313458 cites W2987803397 @default.
- W2593313458 cites W3015644425 @default.
- W2593313458 cites W3147482974 @default.
- W2593313458 cites W3158747708 @default.
- W2593313458 cites W33760710 @default.
- W2593313458 hasPublicationYear "2017" @default.
- W2593313458 type Work @default.
- W2593313458 sameAs 2593313458 @default.
- W2593313458 citedByCount "2" @default.
- W2593313458 countsByYear W25933134582018 @default.
- W2593313458 countsByYear W25933134582021 @default.
- W2593313458 crossrefType "proceedings-article" @default.
- W2593313458 hasAuthorship W2593313458A5015204054 @default.
- W2593313458 hasAuthorship W2593313458A5020563470 @default.
- W2593313458 hasAuthorship W2593313458A5059186408 @default.
- W2593313458 hasAuthorship W2593313458A5078149140 @default.
- W2593313458 hasAuthorship W2593313458A5091563094 @default.
- W2593313458 hasBestOaLocation W25933134581 @default.
- W2593313458 hasConcept C150202949 @default.
- W2593313458 hasConcept C154945302 @default.
- W2593313458 hasConcept C199360897 @default.
- W2593313458 hasConcept C41008148 @default.
- W2593313458 hasConcept C7263679 @default.
- W2593313458 hasConcept C97686452 @default.
- W2593313458 hasConceptScore W2593313458C150202949 @default.
- W2593313458 hasConceptScore W2593313458C154945302 @default.
- W2593313458 hasConceptScore W2593313458C199360897 @default.
- W2593313458 hasConceptScore W2593313458C41008148 @default.
- W2593313458 hasConceptScore W2593313458C7263679 @default.
- W2593313458 hasConceptScore W2593313458C97686452 @default.
- W2593313458 hasLocation W25933134581 @default.
- W2593313458 hasLocation W25933134582 @default.
- W2593313458 hasLocation W25933134583 @default.
- W2593313458 hasLocation W25933134584 @default.
- W2593313458 hasOpenAccess W2593313458 @default.
- W2593313458 hasPrimaryLocation W25933134581 @default.
- W2593313458 hasRelatedWork W2045903735 @default.
- W2593313458 hasRelatedWork W2066669257 @default.
- W2593313458 hasRelatedWork W2097031842 @default.
- W2593313458 hasRelatedWork W2139980638 @default.
- W2593313458 hasRelatedWork W2392346949 @default.
- W2593313458 hasRelatedWork W2562644159 @default.
- W2593313458 hasRelatedWork W3141288313 @default.
- W2593313458 hasRelatedWork W4241634182 @default.
- W2593313458 hasRelatedWork W4280616461 @default.
- W2593313458 hasRelatedWork W2473056198 @default.
- W2593313458 isParatext "false" @default.
- W2593313458 isRetracted "false" @default.
- W2593313458 magId "2593313458" @default.