splint

Splint is an annotation-assisted static program checker designed to analyze C programs for potential vulnerabilities and bugs. Its primary use case is to enhance code quality and security by using annotations to provide developers with insights on code correctness. Notable features include the ability to detect various types of programming errors, including potential security flaws, while providing detailed feedback on code structure and logic.