Splint

Splint

University of Virginia
+
+
Visit Website

About

"Parasoft delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security, reliability, and compliance while reducing cost and effort. Parasoft C/C++test provides static analysis, unit testing, code coverage, and requirements traceability for C and C++ applications. It integrates with Eclipse and Visual Studio, supports CI/CD automation, and is TÜV‑certified for safety‑ and security‑critical systems. Parasoft C/C++test CT is a scalable, compliance‑ready solution for C and C++ teams. It integrates into CI/CD workflows, supports open‑source unit testing frameworks, containers, VS Code, Bazel build systems, eliminates IDE dependencies, and is TÜV‑certified for safety‑ and security‑critical development."

About

Splint is developed and maintained by the Secure Programming Group at the University of Virginia Department of Computer Science. David Evans is the project leader and the primary developer of Splint. David Larochelle developed the memory bounds checking. University of Virginia students Chris Barker, David Friedman, Mike Lanouette and Hien Phan all contributed significantly to the development of Splint. Splint is the successor to LCLint, a tool originally developed as a joint research project between the Massachusetts Institute of Technology and Digital Equipment Corporation's System Research Center. David Evans was the primary designed and developer of LCLint. John Guttag and Jim Horning had the original idea for a static checking tool for detecting inconsistencies between LCL specifications and their C implementations. They provided valuable advice on its functionality and design and were instrumental in its development.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

Developers or QA who want an automated testing software solution

Audience

Development teams interested in a Static Application Security Testing (SAST)

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

No images available

Pricing

$35/user/mo
Free Version
Free Trial

Pricing

No information available.
Free Version
Free Trial

Reviews/Ratings

Overall 4.3 / 5
ease 4.2 / 5
features 4.4 / 5
design 4.1 / 5
support 4.8 / 5

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

Parasoft
Founded: 1987
United States
www.parasoft.com/products/parasoft-c-ctest/

Company Information

University of Virginia
Founded: 2007
United States
splint.org

Alternatives

Alternatives

david3

david3

Tobit Software
MB&G MobileMap

MB&G MobileMap

Mason Bruce & Girard
Oscar

Oscar

Oscar McMaster
Jtest

Jtest

Parasoft
david.net

david.net

2R Software GmbH
Keysight Eggplant

Keysight Eggplant

Keysight Technologies

Categories

Categories

Static Application Security Testing (SAST) Features

Application Security
Dashboard
Debugging
Deployment Management
IDE
Multi-Language Scanning
Real-Time Analytics
Source Code Scanning
Vulnerability Scanning

Static Code Analysis Features

Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management

API Testing Features

Functional Testing
Fuzz Testing
Load Testing
Penetration Testing
Runtime and Error Detection
Security Testing
UI Testing
Validation Testing

Automated Testing Features

Hierarchical View
Move & Copy
Parameterized Testing
Requirements-Based Testing
Security Testing
Supports Parallel Execution
Test Script Reviews
Unicode Compliance

Functional Testing Features

Automated Testing
Interface Testing
Regression Testing
Reporting / Analytics
Sanity Testing
Smoke Testing
System Testing
Unit Testing

Load Testing Features

API Load Testing
Database Load Testing
Load Test Performance Reporting
Mail Load Testing
Multilocation Load Testing
Multiple Protocol Support
Test Script Customization
Web Application Testing

Performance Testing Features

API Testing
Benchmarking
Cross Browser Testing
Debugging
Historical Reporting
Load Testing
Mobile Testing
Parallel Testing
Regression Testing
UI Testing
Web Testing

Software Testing Features

Automated Testing
Black-Box Testing
Dynamic Testing
Issue Tracking
Manual Testing
Quality Assurance Planning
Reporting / Analytics
Static Testing
Test Case Management
Variable Testing Methods
White-Box Testing

Integrations

C
C++
.NET
Apache Maven
Bamboo
C#
Eclipse BIRT
Git
Gradle
IBM MQ
JUnit
Kotlin
Mockito
OWASP ZAP
Postman
PowerMock
Ruby
Swift
TestNG
websockets

Integrations

C
C++
.NET
Apache Maven
Bamboo
C#
Eclipse BIRT
Git
Gradle
IBM MQ
JUnit
Kotlin
Mockito
OWASP ZAP
Postman
PowerMock
Ruby
Swift
TestNG
websockets
Claim Splint and update features and information
Claim Splint and update features and information