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

The Puma Scan Professional End User Edition enables developers to utilize Puma Scan through a Visual Studio extension, featuring improved capabilities, reduced false positives, and various support options. This edition’s license is valid for one year, with the possibility of annual renewal. In contrast, the Server Edition facilitates command line scanning and can be integrated into your build server, all without needing Visual Studio's overhead. A single Server license can be employed across five build agents within the same organization, and additional Build Agent Bundles are available in sets of five for larger needs. Furthermore, the Azure DevOps Extension introduces a Puma Scan build task into your Azure DevOps pipelines, enhancing your development workflow. With Azure DevOps Standard licenses, you can scan up to 20 build pipelines, while Azure DevOps Unlimited licenses permit unrestricted scanning across a single organization, ensuring comprehensive coverage for your projects. This flexibility allows organizations to choose the best licensing option based on their specific scanning requirements.

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

API Access

Has API

Screenshots View All

Screenshots View All

No images available

Integrations

.NET
Azure DevOps Server
C
C#
C++
HTML
JSON
MATLAB
Visual Studio

Integrations

.NET
Azure DevOps Server
C
C#
C++
HTML
JSON
MATLAB
Visual Studio

Pricing Details

$299 per year
Free Trial
Free Version

Pricing Details

No price information available.
Free Trial
Free Version

Deployment

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

Deployment

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

Customer Support

Business Hours
Live Rep (24/7)
Online Support

Customer Support

Business Hours
Live Rep (24/7)
Online Support

Types of Training

Training Docs
Webinars
Live Training (Online)
In Person

Types of Training

Training Docs
Webinars
Live Training (Online)
In Person

Vendor Details

Company Name

Puma Security

Founded

2016

Country

United States

Website

pumasecurity.io/pricing/

Vendor Details

Company Name

University of Virginia

Founded

2007

Country

United States

Website

splint.org

Product 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

Product 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

Alternatives

MB&G MobileMap Reviews

MB&G MobileMap

Mason Bruce & Girard
CodeSonar Reviews

CodeSonar

CodeSecure
david3 Reviews

david3

Tobit Software
david.net Reviews

david.net

2R Software GmbH