A Value Analysis for C Programs.

Graud Canet, Pascal Cuoq, Benjamin Monate

Browse the full SCAM paper archive.