Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.

Checked C Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. The goal of the project is to improve systems programming by maki

Related Repos



Microsoft Windows File Manager (WinFile) The Windows File Manager lives again and runs as a native x86 and x64 desktop app on all currently supported version of Windows, including Windows 10. I welcome your thoughts, comments and suggesti
 
Popular
9.1k

FreeCAD FreeCAD FreeCAD is a general purpose feature-based, parametric 3D modeler for CAD, MCAD, CAx, CAE and PLM, aimed directly at mechanical engineering and product design but also fits a wider range of uses in engineering, suc
 

typesense Typesense is a fast, typo-tolerant search engine for building delightful search experiences. Menu Features Install Quick Start Detailed Guide Build from Source FAQ Help Featu
 

btwael SuperString SuperString is an efficient string library for C++, that achieves a remarkable memory and CPU optimization. SuperString uses Rope (data structure) and optimization techniques. Features Fast and Memory-
 

dstogov FFI PHP extension (Foreign Function Interface) FFI PHP extension provides a simple way to call native functions, access native variables and create/access data structures defined in C language. The API of the extension is very si
 

maierfelix GLMW - WebAssembly powered Matrix and Vector library Description This is an experimental near 1:1 port of gl-matrix v2.4.0 to WebAssembly. Performance In many cases glmw runs more than twice as fast as gl-matrix.
 

koute A sampling CPU profiler for Linux similar to perf Features Support for AMD64, ARM, AArch64 and MIPS64 architectures (where MIPS64 requires a tiny out-of-tree patch to the kernel to work) Support for offline and
 

CuberL swipe-workspace This is a program that can use the touchpad to switch workspaces, base on libinput. The test environment below is Linux Mint 18.1 Cinnamon 64-bit, on my Lenovo Y510p laptop. Dependencies The program