A Memory Model for Static Analysis of C Programs.

Zhongxing Xu, Ted Kremenek, Jian Zhang

Browse the full ISoLA paper archive.