Don't forget about Coq
It doesn't matter what language is used.
Program verification with Coq should discover vulnerabilities even in C program.
Program verification is expensive but it is a required part of mission critical software development.
Posts by RockBit
1 publicly visible post • joined 10 Nov 2024
Biting the hand that feeds IT
