Windows9download.net

  • Home
  • Windows
  • Mac
  • Linux
  • Mobile
  • Drivers
  • Tools
Search☰

Home > Linux

Splint 3.1.1

Download  (2.2M)

 

Publisher's description

Splint is a tool that checks C programs for security issues and coding errors. Splint is a tool for static checking of C programs for security flaws and programming errors. splint made many traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code, ignored return values, Execution paths of no return, perhaps infinite loops, and fall through cases.More powerful Controls are made possible by additional information given in the source code annotations. Annotations are stylized comments that document assumptions about functions, variables, parameters and adding types.In checks specifically enabled by annotations, many of the traditional lint checks are improved by exploiting this additional effort information.As and is set programs in the annotation, the best results of the audit. An effort-performance benefit to using the splint curve is illustrated in Figure 1.Splint is designed to be flexible and allow programmers to select appropriate points of the effort curve of particular benefit to projects.As different controls are turned on and more information is given in code annotations number of bugs that can be detected dramatically.Problems increases detected by Splint include: Dereferencing · possibly a null pointer · Using possibly undefined storage or returning storage that is not properly defined · type mismatch with more precision and flexibility than those provided by C compilers · violations information · errors cache management, including the uses of dangling references and memory leaks · changes aliasing dangerous · and global variable uses that are incompatible with the specified interfaces · control flow problems such as infinite loops probably fall through cases or incomplete switches, and suspicious statements · vulnerabilities Buffer overflow · macro implementations or dangerous invocations · violations custom naming conventions.

 
Tags: Splint Splint 3.1.1 Splint Free Download Splint Reviews Download Splint

  • NextKMtraceViewer 0.73
  • PrevFenris 0.07-m2 build 3245

Related Downloads



Top 10 Download

  • PhpMyAdmin 4.8.0.19.1M
  • Adobe Reader 9.257.8M
  • Android NDK for Linux Version Revision 5b40.3M
  • Netscape Navigator 9.0.0.68.6M
  • Smilehouse OpenSyncro 2.215.2M
  • SHIPPU GSS 1.0.04.3M
  • pyOBD 0.9.2683.9K
  • QuickOrder POS Restaurant 1.0 Professional11.3M
  • CashHaven for Linux 6.012.3M
  • QtDSO 0.3.1109.4K
  • Download Now !
  • Share on Facebook
  • Tweet
  • Share on Google+
  • Post to Tumblr
  • Share on LinkedIn
  • Send email

Software Info ID:1107965

  • Last Updated February 22, 2012
  •    File Size2.2M
  •  OS Support
  •    LicenseGPL
  •   PublisherDavid Evans

A B C D E F G H I J K L M N O P Q R S S T U V W Y Z


Random

  • 1 SBS Quality Database 4.57
  • 2 Pet Groomer 2.4
  • 3 Cute Flv Video Converter 4.9
  • 4 Compaq Presario 5730AP Desktop PC -- CPQFlash Utility for Presario Desktop System ROM
  • 5 Intel® Server System SR1630GP -- Intel® 5500/5520/3400 Chipset Driver for Windows*
  • 6 Dell Precision Laptop M90 HLDS GCC-4244N 24x slim combo B103, A02
  • 7 HP Vectra VL410 -- hp vectra vl410, onboard video driver for Windows 2000 (''automatic'' package for unattended install)

Downloads for Others

  • 1 Canon S500 Printer Driver 7.1
  • 2 Dell Vostro Desktop 420 HLDS GSA-H73N HH DVD+ -RW
  • 3 Dell OptiPlex GX400 Harman Kardon HK395
  • 4 Gigabyte GA-EP45T-EXTREME Realtek Audio Driver 2.
  • 5 Gigabyte GA-EX58-UD3R (rev. 1.6) Realtek Azalia A
  • 6 JetWay N470E81G2O VGA Driver For Windows Vista 7 32-bit
  • 7 L305-S5902 Driver
  • 8 Lexmark C532n Printer PCL Emulation Drivers 1.1
 
Copyright 2009 - 2018 Windows9download.net All rights reserved. Sitemap | Xml | Contact Us | Privacy policy | Windows9download.net