The open-source SPARK 2014 language can prove that code correctly matches specs. This capability closes off vulnerabilities and illuminates logic errors in code.
June 03, 2014
URL:http://www.drdobbs.com/cpp/are-you-sure-you-know-whats-broken/240144986http:/www.drdobbs.com/cpp/after-heartbleed-a-look-at-languages-tha/240168236
Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.