A Value Analysis for C Programs

Geraud Canet, Pascal Cuoq, Benjamin Monate. A Value Analysis for C Programs. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2009. [doi]

Abstract

Abstract is missing.