Topic: "bounds-checking"
holoviz/param
Param: Make your Python code clearer and more reliable by declaring Parameters
Language: Python - Size: 4.83 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 457 - Forks: 77
rurban/safeclib
safec libc extension with all C11 Annex K functions
Language: C - Size: 51.3 MB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 355 - Forks: 68
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
GJDuck/EffectiveSan
Runtime type and bounds-error checking for C/C++
Language: C++ - Size: 51.8 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 101 - Forks: 20
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: 21 days ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 2
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: 894 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 4 - 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
brocksam/pyproprop
Write classes with lots of similar simple defensive properties without the boilerplate
Language: Python - Size: 320 KB - Last synced at: 12 days ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
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: over 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1
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: 15 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1
jbenner-radham/libsafec-strnlen_s
A header only implementation of "strnlen_s" from C11 - Annex K forked from libsafec (Safe C Library).
Language: C - Size: 137 KB - Last synced at: about 1 month ago - Pushed at: about 10 years ago - Stars: 1 - Forks: 0
wy-chung/bounds-check-using-capability
Using capability to implement memory bounds checking
Size: 1.72 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
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
