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

  • Parasoft Reviews & Ratings
    152 Ratings
    Company Website
  • TrustInSoft Analyzer Reviews & Ratings
    6 Ratings
    Company Website
  • Aikido Security Reviews & Ratings
    239 Ratings
    Company Website
  • DbVisualizer Reviews & Ratings
    585 Ratings
    Company Website
  • CloudFiler Reviews & Ratings
    19 Ratings
    Company Website
  • Altium Develop Reviews & Ratings
    1,416 Ratings
    Company Website
  • Elation Health Reviews & Ratings
    90 Ratings
    Company Website
  • ALMobile Reviews & Ratings
    29 Ratings
    Company Website
  • AuctionMethod Reviews & Ratings
    43 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 SEA Manager?

The Software Environment Analyzer, commonly referred to as the SEA Manager, serves as a highly effective tool for software analysis, offering users an extensive overview of all applications within an organization along with their interrelationships. As a key element of various services provided by Neperia Group, the SEA Manager presents numerous opportunities for clients to gain insights, manage, and improve their software assets. When combined with Neperia’s KPS Portal, a platform dedicated to software insights, the SEA Manager equips businesses with unmatched visibility over every software component critical to their functioning. This tool functions independently, providing users with swift, comprehensive, and unbiased information. The analysis it conducts greatly reduces the time, costs, and risks linked to projects such as knowledge reconstruction, migration, porting, and re-engineering. No matter the intricacy of your software systems, Neperia’s SEA Manager offers a plethora of advantages. Additionally, it generates both functional and technical documentation in MS Office formats, complete with graphic visualizations customized to meet each client's unique needs. Ultimately, the SEA Manager is a vital asset for companies that seek to refine their software management strategies while also enabling them to make informed decisions based on clear data analysis. This enhanced decision-making capability can ultimately lead to improved operational efficiency and greater overall success.

Media

No images available

Media

Integrations Supported

C++
MATLAB

Integrations Supported

Android
Ansible
Apple iOS
COBOL
Fujitsu Biometrics-as-a-Service
IBM Db2
Java
Mariner Financial Wellness
Microsoft 365
Microsoft Access
Microsoft Excel
Microsoft Power BI
MongoDB
Oracle SQL Developer
Oracle Warehouse Builder
Qlik Sense
SQL Server
Tableau

API Availability

API Availability

Pricing Information

Pricing not provided
Free Version

Pricing Information

Pricing not provided

Supported Platforms

SaaS

Supported Platforms

SaaS

Customer Service / Support

Web-Based Support

Customer Service / Support

Standard Support
24 Hour Support
Web-Based Support

Training Options

Documentation Hub

Training Options

Documentation Hub
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

Neperia

Company Location

Italy

Company Website

www.neperiagroup.com

Categories and Features

Categories and Features

Static Code Analysis

Not specified

Popular Alternatives

david3 Reviews & Ratings

david3

Tobit Software

Popular Alternatives

MB&G MobileMap Reviews & Ratings

MB&G MobileMap

Mason Bruce & Girard
YAG-Suite Reviews & Ratings

YAG-Suite

YAGAAN
david.net Reviews & Ratings

david.net

2R Software GmbH
Oscar Reviews & Ratings

Oscar

Oscar McMaster