[Cryptography] Ada vs Rust vs safer C

Peter Gutmann pgut001 at cs.auckland.ac.nz
Mon Sep 19 02:12:25 EDT 2016


Ben Laurie <benl at google.com> writes:

>An open question is whether MS would claim copyright (or other IP) on these
>annotations.

Seems highly unlikely, it came out of MS Research, and in any case there are
already third-party code bases that use it (I can't remember where I saw it,
Wine perhaps, but someone's duplicated the annotations in an independent
header set) without anything happening to them.

Florian Weimer <fw at deneb.enyo.de> writes:

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

SAL is the annotation language (source-code annotation language) and PREfast
is the checking tool.

In any case you wouldn't use the low-level attribute-based stuff, just the
high-level things, things like In_Range_(), _Ret_range_(), _Acquires_lock_(),
_Requires_lock_held_(), _Releases_lock_(), _Success_(), _Check_return_, and so
on.

Peter.


More information about the cryptography mailing list