Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.620.289 Times

Splint 3.1.1

  Date Added: April 01, 2010  |  Visits: 754

Splint

Report Broken Link
Printer Friendly Version


Product Homepage
Download (84 downloads)



Splint is a tool for statically checking C programs for security vulnerabilities and programming mistakes. Splint does many of the traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code, ignored return values, execution paths with no return, likely infinite loops, and fall through cases. More powerful checks are made possible by additional information given in source code annotations. Annotations are stylized comments that document assumptions about functions, variables, parameters and types. In addition to the checks specifically enabled by annotations, many of the traditional lint checks are improved by exploiting this additional information. As more effort is put into annotating programs, better checking results. A representational effort-benefit curve for using Splint is shown in Figure 1. Splint is designed to be flexible and allow programmers to select appropriate points on the effort-benefit curve for particular projects. As different checks are turned on and more information is given in code annotations the number of bugs that can be detected increases dramatically. Problems detected by Splint include: - Dereferencing a possibly null pointer - Using possibly undefined storage or returning storage that is not properly defined - Type mismatches, with greater precision and flexibility than provided by C compilers - Violations of information hiding - Memory management errors including uses of dangling references and memory leaks - Dangerous aliasing - Modifications and global variable uses that are inconsistent with specified interfaces - Problematic control flow such as likely infinite loops, fall through cases or incomplete switches, and suspicious statements - Buffer overflow vulnerabilities - Dangerous macro implementations or invocations - Violations of customized naming conventions.. Splint Home Page

Requirements: No special requirements
Platforms: Linux
Keyword: C Programs Checks Debuggers Programming Programs Security Splint Tool
Users rating: 0/10

License: Freeware Size: 1.63 MB
USER REVIEWS
More Reviews or Write Review


SPLINT RELATED
Utilities  -  Linux Security Auditing Tool 0.9.6
The Linux Security Auditing Tool (LSAT) is a post install security auditor for Linux/Unix. Linux Security Auditing Tool checks many system configurations and local network settings on the system for common security/config errors and for packages...
71.68 KB  
Networking Tools  -  Impost 0.1rc2
Impost is a network security auditing tool designed to analyze the forensics behind compromised and/or vulnerable daemons. Theres two different kinds of operating modes used by Impost; It can either act as a honey pot and take orders from a Perl...
225.28 KB  
Networking Tools  -  BFBTester 2.0.1
BFBTester is great for doing quick, proactive, security checks of binary programs. BFBTester will perform checks for single and multiple argument command line overflows and environment variable overflows. Versions 2.0-BETA and higher can also...
70.66 KB  
Programming  -  RTL-check 0.1.7
RTL-check is a framework for static analysis of programs from a safety and security perspective. RTL-check project performs analysis on RTL, which is the low-level intermediate representation generated by GCC. Whats New in This Release: -...
337.92 KB  
Education  -  Learn C++ Basics 1.0.0.0
Learn C++ is another FREE programming course by SoloLearn. Whether you've had any prior programming experience or not, this app will help you learn all you need to know in order to start creating and compiling your own programs....
6 MB  
Shell & Desktop  -  Programs Bar 0.6
Programs Bar is a programs launcher bar theme for SuperKaramba. Was tested on Mandriva 2006 and Fedora Core 5.. Download KDE-Look.org Community Portal for KDE Themes Wallpapers Icons Sounds Screenshots Schemes Skins Skinz Screensavers Splash...
184.32 KB  
Virus Scanners  -  ATool 1.0012
ATool is an advanced security management tool, which can detect and deal with all kinds of harmful programs.
2.05 MB  
Desktop Utilities  -  Quick PC Startup Latest Build
Windows startup manager, Best startup manager, Control startup programs, Manage PC startup programs, Remove unneeded softwareâ„¢s from startup and decrease your windows loading time, Disables unwanted startup programs, Boost windows boot time,...
1.42 MB  
Programming  -  PMDGP - Distributed Genetic Programming 0.5.2
PMDGP is an object oriented framework written in C++ for implementing genetic programming problems. Once a GP problem has been implemented using the framework, a GUI client and Server can be used do distribute the fitness evaluation.
727.04 KB  
Development Editors  -  DynO++ Dynamic C++ Framework 0.1.0
DynO++ is a C++ framework for dynamic programming. The main idea is to allow the compilation of each C++ object as a separate module. Thanks to that each object, instead of being statically linked to the application at compile time, is dynamically...
245.76 KB  
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB