Ratings and Reviews 0 Ratings

Total
ease
features
design
support

This software has no reviews. Be the first to write a review.

Write a Review

Ratings and Reviews 0 Ratings

Total
ease
features
design
support

This software has no reviews. Be the first to write a review.

Write a Review

Alternatives to Consider

  • BrewPOS Reviews & Ratings
    8 Ratings
    Company Website
  • TrustInSoft Analyzer Reviews & Ratings
    6 Ratings
    Company Website
  • Parasoft Reviews & Ratings
    143 Ratings
    Company Website
  • ZeroPath Reviews & Ratings
    2 Ratings
    Company Website
  • Aikido Security Reviews & Ratings
    226 Ratings
    Company Website
  • SenseIP Reviews & Ratings
    1 Rating
    Company Website
  • Altium Develop Reviews & Ratings
    1,346 Ratings
    Company Website
  • DbVisualizer Reviews & Ratings
    565 Ratings
    Company Website
  • Elation Health Reviews & Ratings
    88 Ratings
    Company Website
  • FastBound Reviews & Ratings
    24 Ratings
    Company Website

What is Splint?

The Secure Programming Group within the Department of Computer Science at the University of Virginia is charged with both the creation and continual enhancement of Splint, a static analysis tool. Leading this initiative is David Evans, who is also the primary developer of the project. The initial concept of memory bounds checking was introduced by David Larochelle, while University of Virginia students such as Chris Barker, David Friedman, Mike Lanouette, and Hien Phan made notable contributions to the project's advancement. Splint is essentially an evolution of LCLint, a tool that emerged from a collaborative research project involving the Massachusetts Institute of Technology and Digital Equipment Corporation's System Research Center. David Evans also played a pivotal role as the chief designer and developer of LCLint. The foundational idea for a static checking tool that could pinpoint inconsistencies between LCL specifications and their C implementations was conceived by John Guttag and Jim Horning. Their expertise and innovative ideas were instrumental in shaping both LCLint and its successor, Splint, thereby establishing a strong framework for developing tools that significantly improve software reliability and security. This collaborative effort highlights the importance of interdisciplinary teamwork in addressing complex programming challenges.

What is FacileThings?

The Definitive Answer to Accomplishing Your Tasks. Achieve Effective Organization and Enjoy a Stress-Free Experience.

Media

No images available

Media

Integrations Supported

Box
C
C++
Dropbox
Evernote
Google Calendar
Google Drive
MATLAB
Microsoft OneDrive
Microsoft Outlook

Integrations Supported

Box
C
C++
Dropbox
Evernote
Google Calendar
Google Drive
MATLAB
Microsoft OneDrive
Microsoft Outlook

API Availability

Has API

API Availability

Has API

Pricing Information

Pricing not provided.
Free Trial Offered?
Free Version

Pricing Information

$7/mo
Free Trial Offered?
Free Version

Supported Platforms

SaaS
Android
iPhone
iPad
Windows
Mac
On-Prem
Chromebook
Linux

Supported Platforms

SaaS
Android
iPhone
iPad
Windows
Mac
On-Prem
Chromebook
Linux

Customer Service / Support

Standard Support
24 Hour Support
Web-Based Support

Customer Service / Support

Standard Support
24 Hour Support
Web-Based Support

Training Options

Documentation Hub
Webinars
Online Training
On-Site Training

Training Options

Documentation Hub
Webinars
Online Training
On-Site Training

Company Facts

Organization Name

University of Virginia

Date Founded

2007

Company Location

United States

Company Website

splint.org

Company Facts

Organization Name

FacileThings

Date Founded

2012

Company Location

Spain

Company Website

facilethings.com

Categories and Features

Static Application Security Testing (SAST)

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

Static Code Analysis

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

Categories and Features

Task Management

Collaboration
Create Subtasks
Gamification
Gantt Charts
Mobile Access
Percent-Complete Tracking
Progress Tracking
Recurring Tasks
Reporting/Analytics
Spreadsheet View
Task Board View
Task Planning
Task Scheduling
Task Tracking
Time Tracking
To-Do List View

Popular Alternatives

david3 Reviews & Ratings

david3

Tobit Software

Popular Alternatives

MB&G MobileMap Reviews & Ratings

MB&G MobileMap

Mason Bruce & Girard
david.net Reviews & Ratings

david.net

2R Software GmbH
Doit.im Reviews & Ratings

Doit.im

Snoworange