[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#495992: ITP: failsafec - memory-safe implementation of the full ANSI C language

Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@lists.debian.org

   Package name: failsafec
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.


 Hideki Yamane     henrich @ debian.or.jp/iijmio-mail.jp

Reply to: