CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects. [Read further ...].