From: SourceForge.net <no...@so...> - 2003-12-21 12:37:22
|
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 |