Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Description

Mike is an innovative AI tool developed by Kanerika that specializes in proofreading numerical data in business documents. Users can simply upload a PDF, and Mike meticulously examines table calculations, ensures alignment of charts, and verifies the consistency of figures and terminology throughout the entire document. Any identified discrepancies are promptly reported via email in a structured format, which includes categories such as tables, charts, and overall document issues, along with visual aids and straightforward explanations. Importantly, the processing of documents is done without retaining any stored data. The complimentary version supports PDFs of up to 10 pages, while Mike Pro eliminates this limit, offering unlimited proofreading capabilities, significantly faster processing times, and tailored support. Additionally, Mike's focus lies in checking the arithmetic and internal consistency within the document, though it does not cross-reference figures with external sources. This makes it a valuable resource for ensuring accuracy and coherence in business documentation.

Description

The Secure Programming Group at the University of Virginia's Department of Computer Science is responsible for the development and ongoing maintenance of Splint. David Evans leads the project and serves as its main developer. Memory bounds checking was created by David Larochelle. Significant contributions to Splint's development were also made by University of Virginia students, including Chris Barker, David Friedman, Mike Lanouette, and Hien Phan. Splint serves as the evolution of LCLint, a tool that originated from a collaborative research effort between the Massachusetts Institute of Technology and Digital Equipment Corporation's System Research Center. David Evans was also the chief designer and developer of LCLint. The initial concept for a static checking tool aimed at identifying discrepancies between LCL specifications and their C implementations came from John Guttag and Jim Horning. Their insights into the design and functionality proved invaluable, playing a crucial role in shaping both LCLint and its successor, Splint. Together, the team has fostered a robust environment for developing tools that enhance software reliability and security.

API Access

Has API No 

API Access

Has API No 

Screenshots View All

No images available

Screenshots View All

No images available

Integrations

C No 
C++ No 
MATLAB No 

Integrations

C Yes 
C++ Yes 
MATLAB Yes 

Pricing Details

No price information available.
Free Trial No 
Free Version Yes 

Pricing Details

No price information available.
Free Trial No 
Free Version Yes 

Deployment

Web-Based Yes 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows No 
Mac No 
Linux No 
Chromebook No 

Deployment

Web-Based Yes 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows No 
Mac No 
Linux No 
Chromebook No 

Customer Support

Business Hours Yes 
Live Rep (24/7) Yes 
Online Support Yes 

Customer Support

Business Hours No 
Live Rep (24/7) No 
Online Support Yes 

Types of Training

Training Docs No 
Webinars No 
Live Training (Online) No 
In Person No 

Types of Training

Training Docs Yes 
Webinars No 
Live Training (Online) No 
In Person No 

Vendor Details

Company Name

Kanerika

Founded

2015

Country

United States

Website

kanerika.com

Vendor Details

Company Name

University of Virginia

Founded

2007

Country

United States

Website

splint.org

Product Features

Proofreading

Contextual Speller No 
Dictionary / Thesaurus No 
Grammar Check No 
Plagiarism Detection No 
Punctuation Check No 
Reporting & Statistics No 
Spell Check No 
Style Check No 
Text Editor No 

Product Features

Static Application Security Testing (SAST)

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

Static Code Analysis

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

Alternatives

No Alternatives

Alternatives

MB&G MobileMap Reviews

MB&G MobileMap

Mason Bruce & Girard
david3 Reviews

david3

Tobit Software
david.net Reviews

david.net

2R Software GmbH
Oscar Reviews

Oscar

Oscar McMaster