Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis.

Rmy Boutonnet, Nicolas Halbwachs

Browse the full VMCAI paper archive.