Matches in SemOpenAlex for { <https://semopenalex.org/work/W3197351336> ?p ?o ?g. }
- W3197351336 abstract "Many context-sensitive data flow analyses can be formulated as a variant of the all-pairs Dyck-CFL reachability problem, which, in general, is of sub-cubic time complexity and quadratic space complexity. Such high complexity significantly limits the scalability of context-sensitive data flow analysis and is not affordable for analyzing large-scale software. This paper presents textsc{Flare}, a reduction from the CFL reachability problem to the conventional graph reachability problem for context-sensitive data flow analysis. This reduction allows us to benefit from recent advances in reachability indexing schemes, which often consume almost linear space for answering reachability queries in almost constant time. We have applied our reduction to a context-sensitive alias analysis and a context-sensitive information-flow analysis for C/C++ programs. Experimental results on standard benchmarks and open-source software demonstrate that we can achieve orders of magnitude speedup at the cost of only moderate space to store the indexes. The implementation of our approach is publicly available." @default.
- W3197351336 created "2021-09-13" @default.
- W3197351336 creator A5013596682 @default.
- W3197351336 creator A5017662665 @default.
- W3197351336 creator A5034844386 @default.
- W3197351336 date "2021-09-03" @default.
- W3197351336 modified "2023-09-26" @default.
- W3197351336 title "Indexing Context-Sensitive Reachability." @default.
- W3197351336 cites W1421378112 @default.
- W3197351336 cites W1690273063 @default.
- W3197351336 cites W1829276407 @default.
- W3197351336 cites W1966032455 @default.
- W3197351336 cites W1968401677 @default.
- W3197351336 cites W1968748479 @default.
- W3197351336 cites W1968895412 @default.
- W3197351336 cites W1970961429 @default.
- W3197351336 cites W1971782746 @default.
- W3197351336 cites W1971864278 @default.
- W3197351336 cites W1977497904 @default.
- W3197351336 cites W1981904441 @default.
- W3197351336 cites W1985495277 @default.
- W3197351336 cites W1987480024 @default.
- W3197351336 cites W1991546210 @default.
- W3197351336 cites W1994924587 @default.
- W3197351336 cites W1996936086 @default.
- W3197351336 cites W1997981086 @default.
- W3197351336 cites W2017139167 @default.
- W3197351336 cites W2021325937 @default.
- W3197351336 cites W2024779397 @default.
- W3197351336 cites W2030166143 @default.
- W3197351336 cites W2035260626 @default.
- W3197351336 cites W2037879546 @default.
- W3197351336 cites W2038073775 @default.
- W3197351336 cites W2059355721 @default.
- W3197351336 cites W2060439939 @default.
- W3197351336 cites W2064982280 @default.
- W3197351336 cites W2072385532 @default.
- W3197351336 cites W2078331965 @default.
- W3197351336 cites W2079752311 @default.
- W3197351336 cites W2080205938 @default.
- W3197351336 cites W2080573945 @default.
- W3197351336 cites W2088140535 @default.
- W3197351336 cites W2089522440 @default.
- W3197351336 cites W2097490969 @default.
- W3197351336 cites W2100132188 @default.
- W3197351336 cites W2102563702 @default.
- W3197351336 cites W2108769896 @default.
- W3197351336 cites W2110833886 @default.
- W3197351336 cites W2110920860 @default.
- W3197351336 cites W2112936713 @default.
- W3197351336 cites W2133497528 @default.
- W3197351336 cites W2135565307 @default.
- W3197351336 cites W2140495200 @default.
- W3197351336 cites W2141938776 @default.
- W3197351336 cites W2142774324 @default.
- W3197351336 cites W2144344516 @default.
- W3197351336 cites W2151033407 @default.
- W3197351336 cites W2151670874 @default.
- W3197351336 cites W2153185479 @default.
- W3197351336 cites W2154713079 @default.
- W3197351336 cites W2160401437 @default.
- W3197351336 cites W2166743230 @default.
- W3197351336 cites W2169304846 @default.
- W3197351336 cites W2421052367 @default.
- W3197351336 cites W2561266941 @default.
- W3197351336 cites W2604520577 @default.
- W3197351336 cites W2613189058 @default.
- W3197351336 cites W2613786374 @default.
- W3197351336 cites W2777662281 @default.
- W3197351336 cites W2887223333 @default.
- W3197351336 cites W3012069577 @default.
- W3197351336 cites W3033818254 @default.
- W3197351336 cites W3107612736 @default.
- W3197351336 cites W3117114237 @default.
- W3197351336 cites W2584878977 @default.
- W3197351336 cites W2798968632 @default.
- W3197351336 hasPublicationYear "2021" @default.
- W3197351336 type Work @default.
- W3197351336 sameAs 3197351336 @default.
- W3197351336 citedByCount "0" @default.
- W3197351336 crossrefType "posted-content" @default.
- W3197351336 hasAuthorship W3197351336A5013596682 @default.
- W3197351336 hasAuthorship W3197351336A5017662665 @default.
- W3197351336 hasAuthorship W3197351336A5034844386 @default.
- W3197351336 hasConcept C111335779 @default.
- W3197351336 hasConcept C11413529 @default.
- W3197351336 hasConcept C136643341 @default.
- W3197351336 hasConcept C151730666 @default.
- W3197351336 hasConcept C173608175 @default.
- W3197351336 hasConcept C23123220 @default.
- W3197351336 hasConcept C2524010 @default.
- W3197351336 hasConcept C2777669093 @default.
- W3197351336 hasConcept C2779343474 @default.
- W3197351336 hasConcept C33923547 @default.
- W3197351336 hasConcept C41008148 @default.
- W3197351336 hasConcept C48044578 @default.
- W3197351336 hasConcept C68339613 @default.
- W3197351336 hasConcept C75165309 @default.
- W3197351336 hasConcept C77088390 @default.
- W3197351336 hasConcept C80444323 @default.