1 dépôt
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
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- microsoft/gsl
microsoft/GSL
6,693Voir sur 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++
