|
|
 |
Published by sena
Click here for more information about this publisher...
|
|
|
Date Posted: |
January 25th, 2003
|
|
|
Last Updated: |
January 25th, 2003
|
|
|
License: |
GPL |
|
|
Downloads: |
188 total; 38 recently |
|
|
Page Views: |
8,499 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) |
188 downloads |
|
|
|
|
|
| |
|
|
| 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.73
2. QEMU - 9.68
3. ScummVM - 9.57
4. Haiku AGP busm... - 9.35
5. cpu_fix - 9.31
6. vim6 - 9.31
7. VNCServer - 9.30
8. Beezer - 9.26
9. HandBrake - 9.25
10. BeeF - 9.25
|
|
|
|
 |
|
1. Ati Radeon G... - 40,932
2. BeOS 5 Perso... - 36,763
3. BePDF - 22,622
4. Realtek RTL8... - 20,774
5. Ensoniq Audi... - 19,390
6. USB Joystick... - 17,833
7. ATI Rage 128... - 13,762
8. VLC Media Pl... - 12,318
9. DOSBox - 11,388
10. S3 Trio 64 v... - 10,962
|
|
|
|
 |
| You are not logged in.
Login
|
|
|
|
 |
|
