secureStrings-0.50-Linux-i586.tar.bz2 (secureStrings-0.50-Linux-i586.tar.bz2( 外部リンク: SF.net): 6,403 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
セキュリティで保護された文字列の安全で便利な処理のための純粋な ISO C99 ライブラリです。設計目標は、数学的手法によるそのまんぜんだを証明ことができるライブラリを提供します。
