A. Simon. Value-Range Analysis of C Programs. Springer, 2008.

book cover

The book describes a how to statically analyse C programs by defining the semantics of C at the level of bits and bytes before approximating each operation using polyhedral, congruence, and points-to abstractions. An efficient implementation of polyhedral operations is presented as well as an extension to the analysis that tracks the position of zero characters in strings. This book will be interesting for anyone interested in program analysis, in particular:

Available form Amazon UK, Amazon France, Amazon Germany, and Amazon US.

Reference: Bibtex Electronic Copy: DOI