[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