svn commit: r332086 - head/sys/kern

[Brooks Davis]

On Thu, Apr 05, 2018 at 08:31:45PM +0000, Brooks Davis wrote:
> Author: brooks
> Date: Thu Apr  5 20:31:45 2018
> New Revision: 332086
> URL: https://svnweb.freebsd.org/changeset/base/332086
> 
> Log:
>   Added SAL annotatations to system calls.
>   
>   Modify makesyscalls.sh to strip out SAL annotations.
>   
>   No functional change.
>   
>   This is based on work I started in CheriBSD and use to validate fat
>   pointers at the syscall boundary.  Tal Garfinkel reviewed the changes,
>   added annotations to COMPAT* syscalls and is using them in a record and
>   playback framework.  One can envision other uses such as a WITNESS-like
>   validator for copyin/out as speculated on in the review.
>   
>   As this time we are only annotating sys/kern/syscalls.master as that is
>   sufficient for userspace work.  If kernel use cases materialize, we can
>   annotate other syscalls.master as needed.
>   
>   Submitted by:	Tal Garfinkel <talg at cs.stanford.edu>
>   Sponsored by:	DARPA, AFRL (in part)
>   Differential Revision:	https://reviews.freebsd.org/D14285

Sorry, I misplaced a:

Reviewed by:	cem (prior version)

-- Brooks
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/svn-src-head/attachments/20180405/13b5c842/attachment.sig>