Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486426841> ?p ?o ?g. }
- W1486426841 endingPage "1510" @default.
- W1486426841 startingPage "1485" @default.
- W1486426841 abstract "Because of its high precision as a flow-insensitive pointer analysis, Andersen's analysis has been deployed in some modern optimising compilers. To obtain improved precision, we describe how to add context sensitivity on top of Andersen's analysis. The resulting analysis, called ICON, is efficient to analyse large programs while being sufficiently precise to drive compiler optimisations. Its novelty lies in summarising the side effects of a procedure by using one transfer function on virtual variables that represent fully parameterised locations accessed via its formal parameters. As a result, a good balance between efficiency and precision is made, resulting in ICON that is more powerful than a 1-callsite-sensitive analysis and less so than a call-path-sensitive analysis (when the recursion cycles in a program are collapsed in all cases). We have compared ICON with FULCRA, a state of the art Andersen's analysis that is context sensitive by acyclic call paths, in Open64 (with recursion cycles collapsed in both cases) using the 16 C/C++ benchmarks in SPEC2000 (totalling 600 KLOC) and 5 C applications (totalling 2.1 MLOC). Our results demonstrate scalability of ICON and lack of scalability of FULCRA. FULCRA spends over 2 h in analysing SPEC2000 and fails to run to completion within 5 h for two of the five applications tested. In contrast, ICON spends just under 7 min on the 16 benchmarks in SPEC2000 and just under 26 min on the same two applications. For the 19 benchmarks analysable by FULCRA, ICON is nearly as accurate as FULCRA in terms of the quality of the built Static Single Assignment (SSA) form and the precision of the discovered alias information. Copyright © 2013 John Wiley & Sons, Ltd." @default.
- W1486426841 created "2016-06-24" @default.
- W1486426841 creator A5024664385 @default.
- W1486426841 creator A5036851729 @default.
- W1486426841 creator A5053058502 @default.
- W1486426841 creator A5073501391 @default.
- W1486426841 date "2013-07-22" @default.
- W1486426841 modified "2023-10-18" @default.
- W1486426841 title "Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation" @default.
- W1486426841 cites W1507552563 @default.
- W1486426841 cites W1550417214 @default.
- W1486426841 cites W1557543533 @default.
- W1486426841 cites W1569687366 @default.
- W1486426841 cites W1579435874 @default.
- W1486426841 cites W1727650458 @default.
- W1486426841 cites W1734116059 @default.
- W1486426841 cites W1837958857 @default.
- W1486426841 cites W1969599528 @default.
- W1486426841 cites W1974604404 @default.
- W1486426841 cites W1978594327 @default.
- W1486426841 cites W1996567876 @default.
- W1486426841 cites W1999517284 @default.
- W1486426841 cites W2016764587 @default.
- W1486426841 cites W2018399175 @default.
- W1486426841 cites W2064400234 @default.
- W1486426841 cites W2070012519 @default.
- W1486426841 cites W2075309900 @default.
- W1486426841 cites W2078739669 @default.
- W1486426841 cites W2080205938 @default.
- W1486426841 cites W2087612811 @default.
- W1486426841 cites W2104009155 @default.
- W1486426841 cites W2112936713 @default.
- W1486426841 cites W2123412205 @default.
- W1486426841 cites W2131135493 @default.
- W1486426841 cites W2132874107 @default.
- W1486426841 cites W2133497528 @default.
- W1486426841 cites W2138378640 @default.
- W1486426841 cites W2145911832 @default.
- W1486426841 cites W2148755014 @default.
- W1486426841 cites W2152404881 @default.
- W1486426841 cites W2155410188 @default.
- W1486426841 cites W2156549049 @default.
- W1486426841 cites W2164151624 @default.
- W1486426841 cites W2998867682 @default.
- W1486426841 cites W3004911069 @default.
- W1486426841 cites W3005402394 @default.
- W1486426841 cites W3005914750 @default.
- W1486426841 cites W3006817828 @default.
- W1486426841 cites W3009050206 @default.
- W1486426841 cites W3009206924 @default.
- W1486426841 cites W3009214340 @default.
- W1486426841 cites W3012114143 @default.
- W1486426841 cites W3013983845 @default.
- W1486426841 cites W3022144859 @default.
- W1486426841 cites W3140151778 @default.
- W1486426841 cites W3147482974 @default.
- W1486426841 cites W3148529197 @default.
- W1486426841 cites W3149553891 @default.
- W1486426841 cites W3162457459 @default.
- W1486426841 cites W4236256989 @default.
- W1486426841 cites W4238826965 @default.
- W1486426841 cites W4248889516 @default.
- W1486426841 cites W4251181392 @default.
- W1486426841 cites W4255249960 @default.
- W1486426841 cites W46012774 @default.
- W1486426841 doi "https://doi.org/10.1002/spe.2214" @default.
- W1486426841 hasPublicationYear "2013" @default.
- W1486426841 type Work @default.
- W1486426841 sameAs 1486426841 @default.
- W1486426841 citedByCount "13" @default.
- W1486426841 countsByYear W14864268412016 @default.
- W1486426841 countsByYear W14864268412017 @default.
- W1486426841 countsByYear W14864268412019 @default.
- W1486426841 countsByYear W14864268412022 @default.
- W1486426841 countsByYear W14864268412023 @default.
- W1486426841 crossrefType "journal-article" @default.
- W1486426841 hasAuthorship W1486426841A5024664385 @default.
- W1486426841 hasAuthorship W1486426841A5036851729 @default.
- W1486426841 hasAuthorship W1486426841A5053058502 @default.
- W1486426841 hasAuthorship W1486426841A5073501391 @default.
- W1486426841 hasConcept C111919701 @default.
- W1486426841 hasConcept C127413603 @default.
- W1486426841 hasConcept C150202949 @default.
- W1486426841 hasConcept C151730666 @default.
- W1486426841 hasConcept C154945302 @default.
- W1486426841 hasConcept C168773036 @default.
- W1486426841 hasConcept C169590947 @default.
- W1486426841 hasConcept C173608175 @default.
- W1486426841 hasConcept C199360897 @default.
- W1486426841 hasConcept C21200559 @default.
- W1486426841 hasConcept C24326235 @default.
- W1486426841 hasConcept C2778447006 @default.
- W1486426841 hasConcept C2779343474 @default.
- W1486426841 hasConcept C41008148 @default.
- W1486426841 hasConcept C48044578 @default.
- W1486426841 hasConcept C7263679 @default.
- W1486426841 hasConcept C80444323 @default.
- W1486426841 hasConcept C86803240 @default.