Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186172058> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2186172058 abstract "This thesis presents a technique to improve the precision of data-flow analyses on objectoriented programs in the presence of correlated calls. We say that two method calls are correlated if they are polymorphic (have multiple targets) and are invoked on the same object. Correlated calls are problematic because they can make existing data-flow analyses consider certain infeasible data-flow paths as valid. This leads to loss in precision of the analysis solution. We show how infeasible paths can be eliminated for Inter-procedural Finite Distributive Subset (IFDS) problems, a large class of data-flow analysis problems. We show how the precision of IFDS problems can be improved in the presence of correlated calls, by using the Inter-procedural Distributive Environment (IDE) algorithm to eliminate infeasible paths. Using IDE, we eliminate the infeasible paths and obtain a more precise result for the original IFDS problem. Our analysis is implemented in Scala, using the WALA framework for static program analysis on Java bytecode." @default.
- W2186172058 created "2016-06-24" @default.
- W2186172058 creator A5027027438 @default.
- W2186172058 date "2014-08-19" @default.
- W2186172058 modified "2023-09-22" @default.
- W2186172058 title "Data Flow Analysis in the Presence of Correlated Calls" @default.
- W2186172058 cites W121457469 @default.
- W2186172058 cites W148369031 @default.
- W2186172058 cites W148396834 @default.
- W2186172058 cites W1514258760 @default.
- W2186172058 cites W1553894716 @default.
- W2186172058 cites W1593165330 @default.
- W2186172058 cites W1608142476 @default.
- W2186172058 cites W1846157972 @default.
- W2186172058 cites W1873658816 @default.
- W2186172058 cites W1982205631 @default.
- W2186172058 cites W2036157748 @default.
- W2186172058 cites W2047764386 @default.
- W2186172058 cites W2065818693 @default.
- W2186172058 cites W2080573945 @default.
- W2186172058 cites W2080696000 @default.
- W2186172058 cites W2094437360 @default.
- W2186172058 cites W2105285801 @default.
- W2186172058 cites W2125357166 @default.
- W2186172058 cites W2149127686 @default.
- W2186172058 cites W2156881251 @default.
- W2186172058 cites W2159846532 @default.
- W2186172058 cites W2166091242 @default.
- W2186172058 cites W2167906874 @default.
- W2186172058 cites W2186985820 @default.
- W2186172058 cites W2402435909 @default.
- W2186172058 cites W2402551408 @default.
- W2186172058 hasPublicationYear "2014" @default.
- W2186172058 type Work @default.
- W2186172058 sameAs 2186172058 @default.
- W2186172058 citedByCount "0" @default.
- W2186172058 crossrefType "dissertation" @default.
- W2186172058 hasAuthorship W2186172058A5027027438 @default.
- W2186172058 hasConcept C109701466 @default.
- W2186172058 hasConcept C11413529 @default.
- W2186172058 hasConcept C11821877 @default.
- W2186172058 hasConcept C154945302 @default.
- W2186172058 hasConcept C15524039 @default.
- W2186172058 hasConcept C168702491 @default.
- W2186172058 hasConcept C199360897 @default.
- W2186172058 hasConcept C202444582 @default.
- W2186172058 hasConcept C2524010 @default.
- W2186172058 hasConcept C2777212361 @default.
- W2186172058 hasConcept C2777472213 @default.
- W2186172058 hasConcept C2779818221 @default.
- W2186172058 hasConcept C33923547 @default.
- W2186172058 hasConcept C38349280 @default.
- W2186172058 hasConcept C41008148 @default.
- W2186172058 hasConcept C489000 @default.
- W2186172058 hasConcept C548217200 @default.
- W2186172058 hasConcept C77088390 @default.
- W2186172058 hasConcept C80444323 @default.
- W2186172058 hasConcept C88468194 @default.
- W2186172058 hasConcept C97686452 @default.
- W2186172058 hasConceptScore W2186172058C109701466 @default.
- W2186172058 hasConceptScore W2186172058C11413529 @default.
- W2186172058 hasConceptScore W2186172058C11821877 @default.
- W2186172058 hasConceptScore W2186172058C154945302 @default.
- W2186172058 hasConceptScore W2186172058C15524039 @default.
- W2186172058 hasConceptScore W2186172058C168702491 @default.
- W2186172058 hasConceptScore W2186172058C199360897 @default.
- W2186172058 hasConceptScore W2186172058C202444582 @default.
- W2186172058 hasConceptScore W2186172058C2524010 @default.
- W2186172058 hasConceptScore W2186172058C2777212361 @default.
- W2186172058 hasConceptScore W2186172058C2777472213 @default.
- W2186172058 hasConceptScore W2186172058C2779818221 @default.
- W2186172058 hasConceptScore W2186172058C33923547 @default.
- W2186172058 hasConceptScore W2186172058C38349280 @default.
- W2186172058 hasConceptScore W2186172058C41008148 @default.
- W2186172058 hasConceptScore W2186172058C489000 @default.
- W2186172058 hasConceptScore W2186172058C548217200 @default.
- W2186172058 hasConceptScore W2186172058C77088390 @default.
- W2186172058 hasConceptScore W2186172058C80444323 @default.
- W2186172058 hasConceptScore W2186172058C88468194 @default.
- W2186172058 hasConceptScore W2186172058C97686452 @default.
- W2186172058 hasLocation W21861720581 @default.
- W2186172058 hasOpenAccess W2186172058 @default.
- W2186172058 hasPrimaryLocation W21861720581 @default.
- W2186172058 hasRelatedWork W2783534614 @default.
- W2186172058 hasRelatedWork W2801746908 @default.
- W2186172058 hasRelatedWork W2883565738 @default.
- W2186172058 isParatext "false" @default.
- W2186172058 isRetracted "false" @default.
- W2186172058 magId "2186172058" @default.
- W2186172058 workType "dissertation" @default.