ペンギンの杜

Linuxソフト集

  • Top
  • soft
  • Fail-Safe C
広告
  • 追加された行はこの色 です。
  • 削除された行はこの色 です。
  • soft/Fail-Safe C へ行く。

#norelated
*Fail-Safe C - - メモリ安全性を保証する ANSI C 言語 [#f8b72a2b]
|メインページ|>| https://staff.aist.go.jp/y.oiwa/FailSafeC/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|メモリ安全性を保証する ANSI C 言語|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(Fail-Safe C);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[検索:http://packages.debian.org/search?keywords=Fail-Safe+C]],&soft_addpkg(Debian);|~|
|Ubuntuパッケージ|[[failsafe:http://packages.ubuntu.com/failsafe]]|~|

|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=Fail-Safe+C]],&soft_addpkg(Ubuntu);|~|

|RPMパッケージ|[[検索:http://fr.rpmfind.net/linux/rpm2html/search.php?query=Fail-Safe+C]],&soft_addpkg(RPM);|~|
|登録日|2008-4-28以前|~|

***説明 [#aa6a2ab2]
従来のソースコードをコンパイルすることができる。~
その時に安全性も判断する

----
***コメント [#wacba639]
#comment(above)
広告