Download of secureStrings-0.41-alpha-2012-06-11_001.tar.bz2 (secureStrings-0.41-alpha-2012-06-11_001.tar.bz2 ( external link: SF.net): 6,785 bytes) will begin shortly. If not so, click link on the left.
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.
