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@xxxxxxxxxxxxxxxxx #
# PLEASE remember a short description of the software and the LOCATION. #
# This group is archived at http://stump.algebra.com/~cola/ #
##########################################################################
