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.

Standard Library Extensions - Guidelines Support Library implementation.

microsoftGSL

Features

Star history