Download of secureStrings-0.50-Linux-amd64.tar.bz2 (secureStrings-0.50-Linux-amd64.tar.bz2 ( external link: SF.net): 6,003 bytes) will begin shortly. If not so, click link on the left.

檔案信息

檔案大小
6,003 bytes
MD5
fb44d95278b467bc8ce9cc5cae9c3ddc

專案描述

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.