Splint Debugging - General App

Splint

by Secure Programming Group

A tool for statically checking C programs for security vulnerabilities
Helps with: Debugging - General
Similar to: FusionDebug App JSwat App zXDC App XDebug App More...
Source Type: Open
License Types:
GPL
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

Alternatives

View More Alternatives

View Less Alternatives

Top DiscoverSDK Experts

User photo
500
Gábor László Hajba
Well-grounded software developer
Data Handling | Web and 17 more
View Profile
User photo
20
ahmedxp kh
Ahmedxp PC ENG
Multimedia | Hardware and RT and 123 more
View Profile
User photo
20
Esma Rucolli
Engineering.....my dream 💖
Hardware and RT | General Libraries and 87 more
View Profile
User photo
20
Rachael Orumor
t
GUI | Data Handling and 26 more
View Profile
Show All

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
Compare Now