Bug#495992: marked as done (RFP: failsafec -- memory-safe implementation of the full ANSI C language)
Your message dated Fri, 12 Aug 2016 09:56:33 +0000
with message-id <E1bY9Cb-00029D-UK@quantz.debian.org>
and subject line closing RFP: failsafec -- memory-safe implementation of the full ANSI C language
has caused the Debian Bug report #495992,
regarding RFP: failsafec -- memory-safe implementation of the full ANSI C language
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
495992: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495992
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@lists.debian.org
Package name: failsafec
Version: 1.0.0.1662-1
Upstream Author: Yutaka OIWA <y.oiwa@aist.go.jp>
URL: https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html
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.
--
Regards,
Hideki Yamane henrich @ debian.or.jp/iijmio-mail.jp
http://wiki.debian.org/HidekiYamane
--- End Message ---
--- Begin Message ---
- To: 495992-done@bugs.debian.org
- Subject: closing RFP: failsafec -- memory-safe implementation of the full ANSI C language
- From: Bart Martens <bartm@debian.org>
- Date: Fri, 12 Aug 2016 09:56:33 +0000
- Message-id: <E1bY9Cb-00029D-UK@quantz.debian.org>
RFP 495992 has no visible progress for a long time, so closing.
--- End Message ---
Reply to: