Download of secureStrings-0.4alpha-2010-11-11_02.tar.bz2 (secureStrings-0.4alpha-2010-11-11_02.tar.bz2 ( external link: SF.net): 6,097 octetos) will begin shortly. If not so, click link on the left.

File Information

File Size
6,097 octetos
MD5
ec7b961016caee1136b2a99bc0542385

Descripción del Proyecto

secureStrings is an ISO C99 library for the secure and convenient processing of strings on Unix-like operating systems. The design goal is to provide an implementation that can be proved by means of mathematical methods to be consistent with its formal specification.