1 repository
Awesome GitHub RepositoriesContract-Based Libraries
Libraries providing the primitive types and macros needed to implement design-by-contract.
Distinct from Contract Programming: The parent is a general category of tools; this is specifically a library providing the implementation types for contracts.
Explore 1 awesome GitHub repository matching part of an awesome list · Contract-Based Libraries. Refine with filters or upvote what's useful.
Awesome Contract-Based Libraries GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- microsoft/gsl
microsoft/GSL
6,693Vezi pe GitHubGSL is a Guidelines Support Library for C++ that provides a set of types and functions designed to implement the C++ Core Guidelines. It functions as a framework for improving code safety and portability across different platforms. The library provides a contract-based programming model to verify program invariants through precondition and postcondition assertions. It includes specialized wrappers for null-pointer safety and bounds-checked memory views to prevent buffer overflows and invalid memory access. The project also covers safe integer conversion to prevent data truncation and provide
Provides a framework for verifying program invariants using precondition and postcondition assertions.
C++
