Riverblade
Shareware
Command line code analysis - ideal for use with build servers.
Aldec, Inc.
Demo
ALINT™ design analysis tool decreases verification time dramatically.
49
Splint developers.
40
Freeware
A tool for statically checking C programs for security vulnerabilities.
9
Atari, Inc.
76
Shareware
Skate Like a Superstar! Grab a board and nail tricks like an expert.
2
Microsoft
464
Open source
Ajax Minifier enables you to reduce the size of your JavaScript files.
Aldec, Inc.
1
Demo
ALINT decreases verification time dramatically using simple features.