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 Mike?

Mike is a cutting-edge AI solution created by Kanerika, specifically designed to proofread numerical information within business documents. Users can effortlessly upload a PDF, and Mike thoroughly analyzes table calculations, checks chart alignments, and ensures that figures and terminology remain consistent throughout the document. Any discrepancies found are quickly communicated through email in a well-organized format that includes categories like tables, charts, and general document concerns, accompanied by visual aids and clear explanations. Notably, the document processing is conducted without retaining any data, ensuring privacy. The free version accommodates PDFs of up to 10 pages, while Mike Pro removes this limitation, providing unlimited proofreading options, considerably faster processing speeds, and customized support. Moreover, Mike specializes in verifying the arithmetic and internal consistency of the document, but it does not compare figures with external data sources. This unique feature makes it an essential tool for achieving accuracy and clarity in business documentation, ultimately enhancing the quality of professional reports.

Media

No images available

Media

No images available

Integrations Supported

C
C++
MATLAB

Integrations Supported

API Availability

API Availability

Pricing Information

Pricing not provided
Free Version

Pricing Information

Pricing not provided
Free Version

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

Not specified

Company Facts

Organization Name

University of Virginia

Date Founded

2007

Company Location

United States

Company Website

splint.org

Company Facts

Organization Name

Kanerika

Date Founded

2015

Company Location

United States

Company Website

kanerika.com

Categories and Features

Categories and Features

Proofreading

Not specified

Popular Alternatives

david3 Reviews & Ratings

david3

Tobit Software

Popular Alternatives

Mike DocReview Reviews & Ratings

Mike DocReview

Mikelegal
MB&G MobileMap Reviews & Ratings

MB&G MobileMap

Mason Bruce & Girard
HireMike Reviews & Ratings

HireMike

InProd Solutions Pty Ltd
david.net Reviews & Ratings

david.net

2R Software GmbH
StyleWriter 4 Reviews & Ratings

StyleWriter 4

Editor Software
Oscar Reviews & Ratings

Oscar

Oscar McMaster