Design By Contract for C/C++ download

The Design By Contract framework for C++ allows developers to design software that accomplish the specification requirements. Obscure bugs in software are shown quickly due to its precond, postcond, class/loop invariants and new/delete runtime analysis.

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Design By Contract for C/C++

Design By Contract for C/C++ Web Site

Other Useful Business Software

Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.

Rate This Project

User Reviews

Be the first to post a review of Design By Contract for C/C++!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Developers

User Interface

X Window System (X11)

Programming Language

C++

Related Categories

C++ Build Tools, C++ Debuggers

Registered

2003-08-23

Similar Business Software

Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
TrustInSoft Analyzer

TrustInSoft Analyzer is a C/C++/Rust 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
Bugfender

Remote logger, crash reporter and in-app user feedback Bugfender is a log storage service for application developers. Bugfender collects everything happening in the application, even if it doesn’t crash, in order to reproduce and resolve bugs more effectively and provide better customer support....

See Software
Linx

A powerful iPaaS platform for integration and business process automation. Linx is a powerful platform for building custom integrations at scale. The platform provides enterprise-grade capability and unparalleled flexibility to cater to a wide range of integration use cases for today’s...

See Software
Solidity Debugger Pro

Free & Open source. Cross-platform. Supports all EVM blockchains. Solidity Debugger Pro (sdbg) is a VS Code extension that adds feature-rich debugging capabilities for Solidity projects. It supports all EVM-compatible blockchains, allowing developers to easily debug smart contracts locally or...

See Software
Bugsnag

Bugsnag monitors application stability so you can make data-driven decisions on whether you should be building new features, or fixing bugs. ‍ We are a full stack stability monitoring solution with best-in-class functionality for mobile applications. Rich, end-to-end diagnostics to help you...

See Software