splint free download - SourceForge

Showing 5 open source projects for "splint"

View related business solutions

Linux Clear Filters & Widen Search

Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free
Save Up to 91% on Cloud Compute With Spot VMs
Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.

Start Free
1

DEEEP

Detector of Integer Vulnerabilities in Software Portability

DEEEP is a open source static analysis tool to detect, in C programs, integer vulnerabilities caused by the bad adaption of aplications from ILP32 to LP64. It uses the tools Lint and Splint, and runs over Open Solaris and Linux operating systems. This tool semantically analyses source code. More precisely, it does type checking, data-flow analysis, and it automatically correlates the results of these two types of analysis. Type checking is used for finding bugs on the way integers are handled, and data-flow analysis is used to see if hazardous functions (eg. memcpy, strcpy) are accessible from outside the program. ...

Downloads: 0 This Week

Last Update: 2014-03-04
See Project
2

CDTSplint

This project attemps to integrate the Eclipse CDT C/C++ IDE and the Splint static checker.

Downloads: 0 This Week

Last Update: 2014-06-09
See Project
3

Old LCLint Project

This is the old LCLint project repository. See https://sourceforge.net/projects/splint for the current Splint project.

Downloads: 0 This Week

Last Update: 2013-04-09
See Project
4

Gcc Abstract Syntax Tree Analysis

This program makes it possible to read a file produced by the option "-fdump-tree-original" which replaces the old "-fdump-ast-<I>switch</i>". The goal is to automatically annotate C code for SPLint (actually we focus on possibly null pointer)

Downloads: 0 This Week

Last Update: 2013-04-03
See Project
Build Data Resilience - Take the Assessment Today
Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.

Take the Assessment
5

torque - Automation Testing Tool

Automation unit testing tool for C & C++ on Linux platform

...Two major sections of the testing area like memory management and code coverage is accomplished by open source tools, such as, • Valgrind -- Memory Management • Lcov -- Code Coverage • splint -- Static Code Analysis 2. Supported Platform • Linux operating system on Intel x86 architecture • Linux operating system on Intel x86_64 architecture

Downloads: 0 This Week

Last Update: 2014-01-02
See Project