1 个仓库
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
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- microsoft/gsl
microsoft/GSL
6,693在 GitHub 上查看GSL 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++
