Splint
by Secure Programming Group
A tool for statically checking C programs for security vulnerabilities
Helps with:
Debugging - General
Source Type:
Open
License Types:
Supported OS:
Languages:
C
What is it all about?
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
Key Features
* Dereferencing a possibly null pointer; * Using possibly undefined storage or returning storage that is not properly defined; * Type mismatches, with greater precision and flexibility than provided by C compilers; * Violations of information hiding; * Memory management errors including uses of dangling references and memory leaks; * Dangerous aliasing; * Modifications and global variable uses that are inconsistent with specified interfaces; * Problematic control flow such as likely infinite loops, fall through cases or incomplete switches, and suspicious statements; * Buffer overflow vulnerabilities; * Dangerous macro implementations or invocations; and * Violations of customized naming conventions.
Pricing
Yearly
Monthly
Lifetime
Free
Freemium
Trial With Card
Trial No Card
By Quote
Description
FREE
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
Top DiscoverSDK Experts
Esma Rucolli
Engineering.....my dream 💖
Hardware and RT | General Libraries and 87 more
View Profile
Interested in becoming a DiscoverSDK Expert? Learn more
X
Compare Products
Select up to three two products to compare by clicking on the compare icon () of each product.
{{compareToolModel.Error}}Now comparing:
{{product.ProductName | createSubstring:25}} X