2006年1月 6日

[cola:10236] [COMMERCIAL] cqsat 0.9a

This is to inform of the first public release of CQSAT ~ a powerful C/C++
bug detection tool.

This is release 0.9a for linux. It is bundled with the security (taint
analysis) rulepack.

home page: http://www.cqsat.com

Description:
CQSAT uses LD_PRELOAD to gather build and source data without any change to

the development/build environment. Deep optimized path analysis is run over
the compiler internal representation (AST) to find bugs. Results are
displayed in a code browser and cross-referencer.

~ Finds real buffer overruns, security vulnerabilities
~ Real bugs, few false positives
~ Context-sensitive
~ Easy to install and use
~ Code browser and cross-referencer
~ Finds dead code
~ Works on large code bases

CQSAT.com is a commercial venture. Feedback appreciated

##########################################################################
# Send submissions for comp.os.linux.announce to: cola@xxxxx #
# PLEASE remember a short description of the software and the LOCATION. #
# This group is archived at http://stump.algebra.com/~cola/ #
##########################################################################


投稿者 xml-rpc : 2006年1月 6日 02:00
役に立ちました?:
過去のフィードバック 平均:(0) 総合:(0) 投票回数:(0)
本記事へのTrackback: http://hoop.euqset.org/blog/mt-tb2006.cgi/30100
トラックバック
コメント
コメントする




画像の中に見える文字を入力してください。