Download of secureStrings-0.50-MacOSX-amd64.tar.bz2 (secureStrings-0.50-MacOSX-amd64.tar.bz2 ( external link: SF.net): 3,772 字节) will begin shortly. If not so, click link on the left.

文件信息

文件大小
3,772 字节
MD5
2012c18261b7d8c858a2d3490ce04726

项目描述

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.