Opened 19 years ago

Closed 15 years ago

#222 closed Feature Requests (invalid)

Code analysis, flaw detection, debugging

Reported by: elfring Owned by: Beman Dawes
Milestone: Component: test
Version: None Severity: Not Applicable
Keywords: Cc:

Description (last modified by Beman Dawes) 

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


How do you think about to wrap them into Boost C++ class libraries?

Change History (2)

comment:1 by Marshall Clow, 15 years ago

Owner: changed from beman_dawes to Beman Dawes
Severity: → Showstopper
Status: assigned → new

assigning to actual user "bemandawes" instead of unknown user "beman_dawes"

comment:2 by Beman Dawes, 15 years ago

Description: modified (diff)
Resolution: None → invalid
Severity: Showstopper → Not Applicable
Status: new → closed

This should have been posted to the list, so I'm closing it as a feature request.

--Beman

Note: See TracTickets for help on using tickets.