Continuous Verification for C
The broader point I am making is the following — is it easier to prove memory safety of a C program, or, to verify that a new change made to an existing C program preserves memory safety?
Tagged in
Formal Methods
SourceClear
SourceClear is a continuous security platform that gives you visibility and control over the open source code you are using. Security and dev teams can collaborate to remediate security and compliance issues — giving you the confidence to ship secure software fast.
More informationFollowers
More, on Medium