5 citations · 29 across the 26 of their papers we have counts for
4 papers · 1 filter
SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
David Kozak, Codrut Stancu, Tomáš Vojnar +1
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…
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
David Kozák, Vojin Jovanovic, Codruţ Stancu +2
Whole-program analysis is an essential technique that enables advanced compiler optimizations. An important example of such a method is points-to analysis used by ahead-of-time (AO…
Effect Summaries for Thread-Modular Analysis
Lukáš Holík, Roland Meyer, Tomáš Vojnar +1
We propose a novel guess-and-check principle to increase the efficiency of thread-modular verification of lock-free data structures. We build on a heuristic that guesses candidates…
From Low-Level Pointers to High-Level Containers
Kamil Dudka, Lukáš Holík, Petr Peringer +2
We propose a method that transforms a C program manipulating containers using low-level pointer statements into an equivalent program where the containers are manipulated via calls…