Core Infrastructure Initiative a project of the Linux Foundation0 funded OpenSSL with more money than Frama-C and OpenSSH.
The Core Infrastructure Initiative (CII) is a project of the Linux Foundation to fund and support free and open-source software projects that are critical to the functioning of the Internet and other major information systems. Frama-C OpenSSH OpenSSL 192,000 50,000 550,000 
