Brooks Davis 89ea4a30d6 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@cs.stanford.edu>
Sponsored by:	DARPA, AFRL (in part)
Differential Revision:	https://reviews.freebsd.org/D14285
2018-04-05 20:31:45 +00:00
..
2017-11-30 20:33:45 +00:00
2018-01-03 00:56:30 +00:00
2018-01-03 00:56:30 +00:00
2018-03-20 15:51:05 +00:00
2018-03-17 19:26:33 +00:00
2017-12-13 16:30:39 +00:00
2018-02-23 18:26:31 +00:00
2017-08-07 14:09:57 +00:00
2017-11-30 20:33:45 +00:00
2018-03-27 15:20:03 +00:00
2018-03-27 15:20:03 +00:00
2018-01-22 02:26:10 +00:00
2017-12-01 22:51:02 +00:00