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

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

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

Parasoft

"Parasoft delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security,...

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
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software
Grafana Cloud

Grafana Labs delivers the leading AI-powered observability platform, built around Grafana—the world’s most widely adopted open source technology for dashboards and visualization. Recognized as a Leader in the 2026 Gartner® Magic Quadrant™ for Observability Platforms (3x) and furthest in...

See Software
Flagsmith

Flagsmith is a fully supported open-source feature flag, remote config, and A/B testing service. Use our hosted API, deploy to your own private cloud, or run on-premise. Create and manage feature flags across web, mobile, and server-side applications. Wrap a section of code with a flag, and...

See Software
DbVisualizer

DbVisualizer is a universal database client for anyone who works with data, from solo developers and startups to professional teams managing complex environments, including developers, DBAs, analysts, and data engineers working with relational and NoSQL databases. It offers a graphical interface...

See Software

Report inappropriate content