Need help with splint?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

splintchecker
210 Stars 67 Forks Other 768 Commits 14 Opened issues

Description

Splint - annotation-assisted static program checker

Services available

!
?

Need anything else?

Contributors list

Splint - annotation-assisted static program checker

Splint Documentation

For documentation on Splint, please see https://www.splint.org.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.