Combining Shape Analyses by Intersecting Abstractions.

Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham

Browse the full VMCAI paper archive.