CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects. It comprises over 50 different compilers, utilities, and filters which feed an optimised, intraprocedural, context-smart analysis engine. CQSAT is packaged for specific environments, augmented with domain and system specific extensions and bundled as solutions which address a narrow and focused class of defects in a specific problem domain. This focus allows CQSAT to achieve near 100% defect detection rates with few false positives. CQSAT installs simply and operates non-invasively across a broad range of operating systems and build environments. Analysis can be distributed across multiple machines allowing unlimited scalability. The product is currently in open beta and we invite comments and feedback; to this end we've made some lightweight samples openly available to the development community. We would also love to hear your ideas about how to further refine the product or explore commercial opportunities.
|
