#18 code analysis, flaw detection, debugging

[Markus Elfring]

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 Common C++ class libraries?

[David Sugar]

Logged In: YES
user_id=217

Hmm...I recall kde does a very crude version of this, as do some other
projects, but I had not seen a truelly generic effort at making C++
extensible in this manner before. I will have to look at some of this more
closely...