microsoft/GSL
GSL
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 provides utilities for managing zero-terminated strings with various character encodings. Additionally, it includes mechanisms for resource management to ensure cleanup functions execute during object destruction.
Features
- C++ Guidelines Support Libraries - Provides a set of types and functions for implementing the C++ Core Guidelines to improve code safety and portability.
- Contract-Based Libraries - Provides a framework for verifying program invariants using precondition and postcondition assertions.
- Null-Safety Pointer Types - Provides a specialized pointer type that ensures memory addresses are valid and non-null.
- Memory Safety Protections - Prevents buffer overflows and invalid memory access using bounds-checked views and pointer constraints.
- Non-Null Pointer Wrappers - Provides specialized pointer types that ensure a pointer always holds a valid value and never refers to null.
- Portable C++ Subsets - Provides standardized types and functions to maintain consistent behavior and safety across different platforms.
- Runtime Bounds Checking - Implements a specialized memory access wrapper that prevents buffer overflow errors through strict runtime bounds checking.
- Memory Spans - Provides bounds-checked memory views to prevent buffer overflows and invalid memory access.
- Coding Style Guidelines - Implements a set of uniform types and functions to apply C++ Core Guidelines for improved safety and portability.
- Runtime Invariant Verifications - Implements a contract-based programming model using precondition and postcondition assertions to verify program invariants.
- Logic Verification Frameworks - Uses preconditions and postconditions to verify program invariants and stop execution upon logic failure.
- C++ Resource Management - Ensures proper cleanup of system resources and executes final actions during object destruction.
- Resource Cleanup Utilities - Provides mechanisms to execute specific cleanup functions during object destruction to ensure system resources are released properly.
- Checked Narrowing Conversions - Implements safe integer narrowing that triggers exceptions if the original value is truncated during conversion.
- Type Safety - Handles narrow value conversions and character encodings to prevent data truncation and encoding errors.
- Safe Integer Narrowing Utilities - Provides a utility for converting values to smaller types with exception triggers upon truncation.
- Extensions de la bibliothèque standard - Guidelines Support Library implementation.
