3 Repos
Awesome GitHub RepositoriesRuntime Bounds Checking
Automatic validation of memory and array access indices during execution to prevent buffer overflows.
Distinct from Memory Bounds Checking: Distinct from general memory bounds checking as it specifically focuses on automatic compiler-inserted runtime checks for stability during debug builds.
Explore 3 awesome GitHub repositories matching security & cryptography · Runtime Bounds Checking. Refine with filters or upvote what's useful.
Awesome Runtime Bounds Checking GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- microsoft/gsl
microsoft/GSL
6,693Auf GitHub ansehenGSL 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
Implements a specialized memory access wrapper that prevents buffer overflow errors through strict runtime bounds checking.
C++ - hsutter/cppfront
hsutter/cppfront
5,964Auf GitHub ansehencppfront ist ein C++-Spracherweiterungs-Frontend und ein Source-to-Source-Übersetzer. Er fungiert als Syntax-Transformator, der experimentelle Spracherweiterungen in standardkonformen C++-Code konvertiert, was das Prototyping neuer Sprachfunktionen innerhalb bestehender Build-Systeme ermöglicht. Das Projekt bietet eine Übersetzungsschicht, die Unterstützung für Pattern-Matching, Contracts und String-Interpolation hinzufügt. Es enthält ein Metaprogrammierungs-Tool für Compile-Time-Reflection und automatisierte Code-Generierung unter Verwendung spezialisierter Metafunktionen. Das System automatisiert verschiedene Entwicklungsaufgaben, einschließlich der Auflösung der Abhängigkeitsreihenfolge durch automatische Vorwärtsdeklarationen und die Verwaltung von Parameterübergabemodi. Zudem wendet es statische Analysen an, um automatische Bounds-Checks einzufügen und die Ressourcenverwaltung durch Anwendung von Move-Semantics am letzten Verwendungspunkt einer Variablen zu optimieren. Das Tool enthält einen Verifizierungsmechanismus, um sicherzustellen, dass der Standard-Quellcode während des Übersetzungsprozesses unverändert bleibt, um Syntax-Regressionen zu verhindern.
Automatically inserts runtime checks on container subscript accesses to prevent out-of-bounds memory errors.
C++ - c3lang/c3c
c3lang/c3c
5,147Auf GitHub ansehenc3c is the compiler for the C3 programming language, transforming source code into executable binaries, static libraries, or dynamic libraries using an LLVM backend. It implements a system based on result-based error handling, scoped memory pooling, and a semantic macro system. The compiler provides first-class support for hardware-backed SIMD vectors that map directly to processor instructions and enables runtime polymorphism through interface-based dynamic dispatch. The project covers a broad set of low-level capabilities, including manual and pooled memory management, inline assembly inte
Inserts automatic runtime bounds and value checks during debug builds to identify bugs early.
C3c3compilerlanguage
