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 <t...@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
signature.asc
Description: PGP signature