Ratings and Reviews 0 Ratings

Total 0 out of 5 stars
ease 0 out of 5 stars
features 0 out of 5 stars
design 0 out of 5 stars
support 0 out of 5 stars

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

Write a Review

Ratings and Reviews 0 Ratings

Total 0 out of 5 stars
ease 0 out of 5 stars
features 0 out of 5 stars
design 0 out of 5 stars
support 0 out of 5 stars

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

Write a Review

Alternatives to Consider

  • Parasoft Reviews & Ratings
    4.6 out of 5 stars 152 Ratings
    Company Website for Parasoft
  • TrustInSoft Analyzer Reviews & Ratings
    4.3 out of 5 stars 6 Ratings
    Company Website for TrustInSoft Analyzer
  • Aikido Security Reviews & Ratings
    4.6 out of 5 stars 364 Ratings
    Company Website for Aikido Security
  • DbVisualizer Reviews & Ratings
    4.8 out of 5 stars 593 Ratings
    Company Website for DbVisualizer
  • CloudFiler Reviews & Ratings
    4.8 out of 5 stars 24 Ratings
    Company Website for CloudFiler
  • Elation Health Reviews & Ratings
    4.1 out of 5 stars 90 Ratings
    Company Website for Elation Health
  • Altium Develop Reviews & Ratings
    4.5 out of 5 stars 1,488 Ratings
    Company Website for Altium Develop
  • ALMobile Reviews & Ratings
    4.3 out of 5 stars 29 Ratings
    Company Website for ALMobile
  • AuctionMethod Reviews & Ratings
    4.9 out of 5 stars 43 Ratings
    Company Website for AuctionMethod
  • FastBound Reviews & Ratings
    4.8 out of 5 stars 24 Ratings
    Company Website for FastBound

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

C
C++
MATLAB

Integrations Supported

Box
Dropbox
Evernote
Google Calendar
Google Drive
Microsoft OneDrive
Microsoft Outlook

API Availability

API Availability

Has API

Pricing Information

Pricing not provided
Free Version

Pricing Information

$7/mo
Monthly subscription: $12/mo
Quarterly subscription: $9/mo
Semiannual subscription: $8/mo
Annual subscription: $7/mo
Free Trial Offered?

Supported Platforms

SaaS

Supported Platforms

SaaS
Android
iPhone
iPad

Customer Service / Support

Web-Based Support

Customer Service / Support

Web-Based Support

Training Options

Documentation Hub

Training Options

Documentation Hub

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

Categories and Features

Task Management

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

To Do List

Not specified

Popular Alternatives

david3 Reviews & Ratings

david3

Tobit Software

Popular Alternatives

MB&G MobileMap Reviews & Ratings

MB&G MobileMap

Mason Bruce & Girard
Oscar Reviews & Ratings

Oscar

Oscar McMaster
Nozbe Reviews & Ratings

Nozbe

4.6 out of 5 stars
david.net Reviews & Ratings

david.net

2R Software GmbH
Doit.im Reviews & Ratings

Doit.im

Snoworange
1.0 out of 5 stars