TY  - RPRT
TI  - SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
AU  - David Kozak
AU  - Codrut Stancu
AU  - Tomáš Vojnar
AU  - Christian Wimmer
PY  - 2025
UR  - https://arxiv.org/abs/2501.19150
ID  - 2501.19150
ER  -