CQSAT

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

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow CQSAT

CQSAT Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Rate This Project

User Reviews

Be the first to post a review of CQSAT!

Additional Project Details

Operating Systems

BSD, Linux, Windows

Intended Audience

Developers, Information Technology, Quality Engineers, Science/Research, System Administrators

User Interface

Command-line, Win32 (MS Windows)

Programming Language

C, C++, Perl, Unix Shell

Related Categories

Unix Shell Compilers, Unix Shell Interpreters, Unix Shell QA Automation Software, Unix Shell Cross Compilers, Unix Shell Profiling Software, Perl Compilers, Perl Interpreters, Perl QA Automation Software, Perl Cross Compilers, Perl Profiling Software, C++ Compilers, C++ Interpreters, C++ QA Automation Software, C++ Cross Compilers, C++ Profiling Software, C Compilers, C Interpreters, C QA Automation Software, C Cross Compilers, C Profiling Software

Registered

2008-10-06

Similar Business Software

Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. We are SOC 2 Type 2 certified. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same...

See Software
PHPStan

PHPStan is an open source static analysis tool for PHP that identifies bugs in your codebase without the need for writing tests. It thoroughly scans your entire code, detecting both obvious and subtle issues, including those in rarely executed conditional statements that tests might not cover....

See Software
Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

See Software
Aikido Security

Secure your code, cloud, and runtime in one central system. Aikido’s all-in-one security platform is loved by developers and security teams alike with full security visibility, insight in what matters most, and fast/automatic vulnerability fixes. Teams get security done with Aikido thanks...

See Software
DoubleCheck Code Analysis

When it comes to ensuring software quality, reliability, and security in today's sophisticated code bases, traditional debugging and testing methods simply fall short. Automated tools such as static source code analyzers are more effective in finding defects that could result in buffer...

See Software