Software Verification Done Right: Introduction to Static Analysis

Authors: R. Bagnara, A. Bagnara, P. M. Hill, and N. Vetrini.

BUGSENG, Parma, Italy, 1st edition, 2025. [ DOI | http ]

Abstract:

In an increasingly digital world, the quality of code is not just a technical concern — it is a matter of public safety and social responsibility. From transportation systems to medical devices, software defects can have life-threatening consequences. Meanwhile, security vulnerabilities in many IoT devices jeopardize personal privacy. With software now woven into the very fabric of critical infrastructure, investing in code quality has never been more important. This book offers an introduction to static analysis. Whether you are working in highly regulated, safety-critical industries, or in fields where adherence to safety and security standards is just a choice driven by best practices, this book provides insights, practical tips, and techniques honed from years of expertise. It will help you elevate your code quality and ensure its reliability, even in the most demanding environments.