code analysis, flaw detection, debugging
Hello,
Would you like to try out such tools to check for potential buffer overflows
(segfaults) in the code?
1. Secure Programming Lint
http://splint.org/
2. AntiC
http://www.garret.ru/~knizhnik/jlint/ReadMe.htm#introduction
3. Detecting Errors with Configurable Whole-Program Dataflow Analysis
http://www.cs.utexas.edu/users/emery/#broadway
4. The Trier Data-Race Analyzer
http://www.informatik.uni-trier.de/~seidl/DAEDALUS/mutex.html
5. Debugging Backwards in Time - Omniscient Debugging
http://www.lambdacs.com/debugger/USENIX/Debugger_USENIX_2003.html
Regards,
Markus