はてなブックマーク

Uno Tool Synopsis [Current Tool Version: 2.14 -- 19 December 2016] See also static.html for an overview of static analyzers. Uno is a simple tool for source code analysis, written in 2001. It has two main goals: It is designed to intercept primarily the three most common types of software defects: Use of uninitialized variable, Nil-pointer references, and Out-of-bounds array indexing. It allows fo

Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 30th International Spin Symposium was held April 10-11 2024 in Luxembo