Bug#495992: ITP: failsafec - memory-safe implementation of the full ANSI C language
Package name: failsafec
Upstream Author: Yutaka OIWA <email@example.com>
License: THE Q PUBLIC LICENSE version 1.0
Description: memory-safe implementation of the full ANSI C language
It detects and disallows all unsafe operations, yet conforming
to the full ANSI C standard (including casts and unions) and
even supporting many "dirty tricks" common in many existing
programs which do not strictly conform to the standard.
This work also proposes several techniques---both compile-time
and runtime--- to reduce the overhead of runtime checks. By
using the Fail-Safe C compiler, programmers can easily make
their programs safe without performing heavy rewriting or
porting of their code.
Hideki Yamane henrich @ debian.or.jp/iijmio-mail.jp