SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F26%3A0193310" target="_blank" >RIV/00216305:26230/26:0193310 - isvavai.cz</a>
Alternative codes found
RIV/00216224:14330/25:00144401
Result on the web
<a href="https://dl.acm.org/doi/10.1145/3696443.3708932" target="_blank" >https://dl.acm.org/doi/10.1145/3696443.3708932</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/3696443.3708932" target="_blank" >10.1145/3696443.3708932</a>
Alternative languages
Result language
angličtina
Original language name
SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
Original language description
A typical points-to analysis such as Andersen's or Steensgaard's may lose precision because it ignores the branching structure of the analyzed program. Moreover, points-to analysis typically focuses on objects only, not considering instructions manipulating primitive values. We argue that such an approach leads to an unnecessary precision loss, for example, when primitive constants true and false flow out of method calls. We propose a novel lightweight points-to analysis called SkipFlow that interprocedurally tracks the flow of both primitives and objects, and explicitly captures the branching structure of the code using predicate edges. At the same time, however, SkipFlow is as lightweight and scalable as possible, unlike a traditional flow-sensitive analysis. We apply SkipFlow to GraalVM Native Image, a closed-world solution to building standalone binaries for Java applications. We evaluate the implementation using a set of microservice applications as well as well-known benchmark suites. We show that SkipFlow reduces the size of the application in terms of reachable methods by 9% on average without significantly increasing the analysis time.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA23-06506S" target="_blank" >GA23-06506S: Advanced Analysis and Verification for Advanced Software</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization
ISBN
979-8-4007-1275-3
ISSN
—
e-ISSN
—
Number of pages
15
Pages from-to
347-361
Publisher name
Association for Computing Machinery
Place of publication
New York
Event location
Las Vegas, Nevada
Event date
Mar 1, 2025
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—