[Cryptography] Ada vs Rust vs safer C

[Florian Weimer]

* Peter Gutmann:

>>If there are annotations that are really helpful and not utterly Windows-
>>specific, we can put them into GCC.  We just need documentation.
>
> None of them are Windows-specific, it's just things like "this value
> can only take ranges between 0 and 100" or "this value points to a
> buffer whose size is defined by that other value".  There are
> composite annotations that say things like "this is a handle to some
> Windows-specific thing", but they're just convenience macros built
> up from the lower-level primitives.

Do you know how Prefast ist related to SAL?  Is it just a checker for
SAL annotations?