|
|
|
|
|
|
by pjmlp
2038 days ago
|
|
|
As proven by the high integrity security standards, if you want to write safety proven code in C, there is no way around something like MISRA-C, Frama-C, alongside certification tooling like the one sold by LDRA. https://www.ldra.com/ Naturally this is a kind of expenses that 99% of the companies aren't going to spend until it finally becomes a legal liability to have security exploits on the software. |
|
|