семантический парсер для C (Semantic Parser for C)
CONTRIBUTING AND REPORTING BUGS
Submission of patches and reporting of bugs, as well as
discussions related to Sparse, should be done via the mailing
list (linux-sparse@vger.kernel.org) where the development and
maintenance is primarily done. You do not have to be subscribed
to the list to send a message there.
Bugs can also be reported and tracked via the Linux kernel's
bugzilla:
http://bugzilla.kernel.org/enter_bug.cgi?component=Sparse&product=Tools
.