Feature Requests item #863899, was opened at 2003-12-21 13:37
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=352435&aid=863899&group_id=2435
Category: Suggested Feature
Group: None
Status: Open
Priority: 5
Submitted By: Markus Elfring (elfring)
Assigned to: Nobody/Anonymous (nobody)
Summary: code analysis, flaw detection, debugging
Initial Comment:
Would you like to use these tools?
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
6. SF.net
http://sourceforge.net/tracker/?func=detail&aid=667010&group_id=1&atid=350001
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=352435&aid=863899&group_id=2435
|
