Shape Analysis of Low-Level C with Overlapping Structures.

Jrg Kreiker, Helmut Seidl, Vesal Vojdani

Browse the full VMCAI paper archive.