Opened 19 years ago
Last modified 15 years ago
#222 closed Feature Requests (invalid)
Code analysis, flaw detection, debugging — at Initial Version
| Reported by: | elfring | Owned by: | beman_dawes |
|---|---|---|---|
| Milestone: | Component: | test | |
| Version: | None | Severity: | Not Applicable |
| Keywords: | Cc: |
Description
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?
Note:
See TracTickets
for help on using tickets.
