Subject: Re: [Boost-bugs] [Boost C++ Libraries] #222: Code analysis, flaw detection, debugging
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2007-08-27 23:28:25
#222: Code analysis, flaw detection, debugging
-------------------------------+--------------------------------------------
Reporter: elfring | Owner: bemandawes
Type: Feature Requests | Status: closed
Milestone: | Component: test
Version: None | Severity: Not Applicable
Resolution: invalid | Keywords:
-------------------------------+--------------------------------------------
Changes (by bemandawes):
* status: new => closed
* resolution: None => invalid
* severity: Showstopper => Not Applicable
Old 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?
> }}}
New 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?
}}}
Comment:
This should have been posted to the list, so I'm closing it as a feature
request.
--Beman
--
Ticket URL: <http://svn.boost.org/trac/boost/ticket/222#comment:2>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.
This archive was generated by hypermail 2.1.7 : 2017-02-16 18:49:56 UTC