Search Results for "bounds"

...Checked C does not address use-after-free errors. 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 making fundamental improvements to C. This repo contains sample code, the extension specification, and test code. The Checked C project is extending the C programming language so that programmers can write more secure and reliable C programs. The project is developing an extension to C called Checked C that adds checking to C to detect or prevent common programming errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts.

Wuffs is a memory-safe, zero-dependency library and domain-specific language for writing high-performance image codecs and related parsers. Instead of trusting ad-hoc C, Wuffs code is compiled to C with strong bounds, integer, and state checks inserted by construction, aiming to eliminate whole classes of security bugs without a heavy runtime. The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in streaming or sandbox-free environments. The project ships battle-tested, CPU-friendly implementations for common image/container formats and bit-twiddly primitives like Huffman and checksum routines. ...

This is a rewrite/port of the popular freeware game Cave Story for Sega Mega Drive/Genesis. It should work on any console or emulator. The main story is "finished", only little things and bugfixes remain. A fan port of Cave Story for the Sega Mega Drive.

Nova is a simple astronomical image solver. It can currently open FITS files and identify some objects against star catalog objects.

Discover a huge fictional game world and supply resources for its exploration. Unleash mysterious secrets or just race through the hills. This software is under development and thus neither complete nor bug-free. However, fun can occasionally be had.

...The algorithms implemented are Nelder-Mead,Newton Methods (Line Search and Trust Region methods), Conjugate Gradient and BFGS (regular and Limited Memory). Brent method is also available for single variable functions if the bounds are known. Update 06/09/2014 - Nonlinear Squares Implementation [Levenberg-Marquardt Method] Added. Documentation - http://code.google.com/p/optimc/

...These functions are alternative functions to the existing standard C library that promote safer, more secure programming. The ISO/IEC Programming languages — C spec, C11, now includes the bounded APIs in Appendix K, "Bounds-checking interfaces". This latest upload supports building static library, a shared library and a linux kernel module.

Libsbuf allows one to easily and safely manipulate character strings in plain C, taking care of e.g. reallocation and bounds checking. Originally written for FreeBSD, it works under pretty much any POSIX system out there, such as Linux.

aln2dist is a standalone program that uses a multiple sequence alignment to calculate a set of distance matrices and a set of distance restraints (lower and upper bounds). Also require the pdb structure files of homologous proteins to be used as models.

Zaticka is a multi-players game for TI-92+ and TI-V200 calculators. Snakes paths grow and must not intersect others paths or the game bounds.

To provide users with a customized rendering pipeline, right down to how the bounding code bounds. TRRT is about providing the rendering pipeline you want and need, whether you render at a professional or hobbyist level. Will be RenderMan compliant.

EVM is a 32-bit virtual machine designed for easy implementation. It supports bounds checking, real-time linking and JIT compilation on x86 architecture. No platform-specific calls or byte order dependencies. Comes with an optimizing C compiler.