Also note that Sparse has a slightly odd license (OSL 1.1). Odd enough to keep it out of e.g. the main Debian archive:
From the copyright file of the Debian package:
This package is targetted at the Debian "non-free" section because of the
"Jurisdiction, Venue and Governing Law" clause (11). The "Mutual Termination
for Patent Action" clause (10) is less problematic, especially in the light of
the "Grant of Patent License" clause (2).