A Precise Framework for Source-Level Control-Flow Analysis.

Idriss Riouak, Christoph Reichenbach, Grel Hedin, Niklas Fors

Browse the full SCAM paper archive.