Books by Axel Simon

Documents an exemplary conversion project carried out by Architect Krischanitz in a Swiss central urban location.

Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. While the book focuses on a sound analysis of C, it will be useful to researchers and students interested in static analysis of real-world programming languages.