Languages with raw pointers will throw the CTL for a loop.
Wade Mealing
11

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?

SourceClear
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 information
Followers
42
Elsewhere