After Heartbleed: A Look at Languages that Support Provability

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/c-and-the-perils-of-double-checked-locki/cpp/after-heartbleed-a-look-at-languages-tha/240168236

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.