Using capability to implement memory bounds checking
-
Updated
Sep 24, 2023
Using capability to implement memory bounds checking
A header only implementation of "strnlen_s" from C11 - Annex K forked from libsafec (Safe C Library).
A Unity3D game built in an arena format with animated textures, levels, and arenas to be played through to set high scores
Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.
An implementation of the Core and Subcore protocols proposed by Aziz and Mackenzie (2016) for discrete, bounded, envy-free, partial division of a heterogeneous resource
Quick and dirty C# code to evaluate performance of normal array access vs. unsafe pointer access.
Write classes with lots of similar simple defensive properties without the boilerplate
openosc: Open Object Size Checking: Library to detect buffer overflows in C/C++ code
penum is a procedural macro that is used to make an enum follow a given pattern, which can include generics and trait bounds.
A JIT compiler for a small scheme dialect, as a project for Advanced Compilers.
Runtime type and bounds-error checking for C/C++
Lean C/C++ Bounds Checking with Low-Fat Pointers
safec libc extension with all C11 Annex K functions
Param: Make your Python code clearer and more reliable by declaring Parameters
Add a description, image, and links to the bounds-checking topic page so that developers can more easily learn about it.
To associate your repository with the bounds-checking topic, visit your repo's landing page and select "manage topics."