GitHub topics: bounds-checking

Repositories

holoviz/param

Param: Make your Python code clearer and more reliable by declaring Parameters

Language: Python - Size: 5.11 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 482 - Forks: 77

rurban/safeclib

safec libc extension with all C11 Annex K functions

Language: C - Size: 51.3 MB - Last synced at: 5 days ago - Pushed at: 6 months ago - Stars: 366 - Forks: 67

Nathanlie-Ortega/NumberGuessingGame

A C++ console game by Nathanlie Ortega. Players guess a number between random bounds (100–200), gaining/losing points per guess. Features one bound display, dynamic bounds, menu-driven interface with enumerated types, name validation, point tracking, and game-over points run out or player exist.

Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

wy-chung/bounds-check-using-capability

Using capability to implement memory bounds checking

Size: 1.72 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

GJDuck/EffectiveSan

Runtime type and bounds-error checking for C/C++

Language: C++ - Size: 51.8 MB - Last synced at: 5 months ago - Pushed at: 6 months ago - Stars: 101 - Forks: 20

viktorlott/penum

penum is a procedural macro that is used to make an enum follow a given pattern, which can include generics and trait bounds.

Language: Rust - Size: 963 KB - Last synced at: 20 days ago - Pushed at: 8 months ago - Stars: 5 - Forks: 0

johnsonjh/openosc Fork of cisco/OpenOSC

openosc: Open Object Size Checking: Library to detect buffer overflows in C/C++ code

Language: C - Size: 1010 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1

GJDuck/LowFat

Lean C/C++ Bounds Checking with Low-Fat Pointers

Language: C++ - Size: 51.8 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 170 - Forks: 30

porglezomp/scheme-jit

A JIT compiler for a small scheme dialect, as a project for Advanced Compilers.

Language: Python - Size: 233 KB - Last synced at: about 9 hours ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 2

kenakofer/envy-free-cake

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

Language: Python - Size: 51.4 MB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 1

Thibesan/BallRoller

A Unity3D game built in an arena format with animated textures, levels, and arenas to be played through to set high scores

Language: C# - Size: 15.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

thomasbratt/PointerPerformanceTest

Quick and dirty C# code to evaluate performance of normal array access vs. unsafe pointer access.

Language: C# - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

reity/barriers

Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.

Language: Python - Size: 60.5 KB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1