Download von secureStrings-0.50-MacOSX-ia32-dev.tar.bz2.sha512 (secureStrings-0.50-MacOSX-ia32-dev.tar.bz2.sha512 ( externer Link: SourceForge.net): 129 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf secureStrings-0.50-MacOSX-ia32-dev.tar.bz2.sha512 ( externer Link: SourceForge.net).
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.