Mixed Flow-Sensitive Static Analysis: Engineering Modularity.

Helmut Seidl, Vesal Vojdani, Julian Erhard, Michael Schwarz

Browse the full FM paper archive.