|
|
 |
Published by sena
Click here for more information about this publisher...
|
|
|
Date Posted: |
January 25th, 2003
|
|
|
Last Updated: |
January 25th, 2003
|
|
|
License: |
GPL |
|
|
Downloads: |
157 total; 7 recently |
|
|
Page Views: |
6,932 total |
|
|
User Rating: |
awaiting 10 votes |
 |
|
Jump to the Downloads section |
|
About Splint:
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes.
With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
I was only compiled and wrote a install script.
|
|
|
 |
Latest Version |
 |
|
|
| |
|
|
Details about this version:
The main changes in this release are extensions to the grammar. The grammar was extended to support ISO C99 and gcc obsolete extensions for initializing structure fields and array elements using explicit designators. Additionally we relaxed the grammar to allow null statements as external declarations. The release also fixes some internal bugs.
|
| |
|
|
Intel Version - requires R5 (3.55 MB) |
157 downloads |
|
|
|
|
|
| |
  |
[rating: 10] |
|
|
Primary Location |
|
|
| Add Additional Location |
|
|
|
|
| Source Available |
|
 |
|
 |
|
Recent Talkback comments:
Meh - Euan
|
|
Like this app? Have questions or comments?
Why not tell the author? Use the "e-mail publisher" link to get in touch with the publisher; they usually love getting feedback.
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
|
 |
| |
Recent Downloads - # 1,580
Total Downloads - # 3,533
Total Views - # 2,745
User Ratings - N/A
|
|
|
|
 |
| |
Debugging
Shell Utilities
Tool Kits
|
|
|
|
 |
|
1. BePodder - 9.80
2. QEMU - 9.68
3. ScummVM - 9.57
4. cpu_fix - 9.42
5. Jukebox - 9.40
6. libdl.so - 9.40
7. Haiku AGP busm... - 9.35
8. vim6 - 9.31
9. Beezer - 9.26
10. HandBrake - 9.25
|
|
|
|
 |
|
1. BeOS 5 Perso... - 13,528
2. Realtek RTL8... - 13,071
3. Ati Radeon G... - 12,499
4. Ensoniq Audio... - 7,529
5. ATI Rage 128... - 7,425
6. USB Joystick... - 5,629
7. Broadcom 440x... - 5,394
8. USB Serial dr... - 4,699
9. S3 Trio 64 v2... - 4,693
10. Intel Extreme... - 4,457
|
|
|
|
 |
| You are not logged in.
Login
|
|
|
|
 |
|
