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…