Re: [Boost-bugs] [Boost C++ Libraries] #222: Code analysis, flaw detection, debugging

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.