Guest editors' introduction: Software Assurance for the Masses

The guest editors of this special theme issue describe how they selected articles from a wide variety of static analysis experts from research teams, academia, government, and commercial software companies. The broad spectrum of ideas covered range from the practicality of building and making static analysis tools usable in a major software company to ways of cataloging the problem space of vulnerabilities in software.