Date: Thu, 5 Apr 2018 20:33:00 +0000 From: Brooks Davis <brooks@freebsd.org> To: src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org Subject: Re: svn commit: r332086 - head/sys/kern Message-ID: <20180405203300.GE23904@spindle.one-eyed-alien.net> In-Reply-To: <201804052031.w35KVjQE032631@repo.freebsd.org> References: <201804052031.w35KVjQE032631@repo.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
--HG+GLK89HZ1zG0kk Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable 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 >=20 > Log: > Added SAL annotatations to system calls. > =20 > Modify makesyscalls.sh to strip out SAL annotations. > =20 > No functional change. > =20 > 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. > =20 > 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. > =20 > Submitted by: Tal Garfinkel <talg@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 --HG+GLK89HZ1zG0kk Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAEBAgAGBQJaxof7AAoJEKzQXbSebgfANEEIAJ8v7vEFEkv4I8aXo/4qNy8j Tf/68uJO7tfiK1uwTdrtvILrE0se6DhuizyQTJblDIigLUER/IQBXvcNn9fyxjtW kSVz2Ev0zD4BoYtaAtm5Q34VFo0BGMRaIX1WRysWXOJtl+0ozAHJV5N2ttX1JhPC 05ip4fmckJopQKo7hmsp95j6lV/zktdOYuvNOaXsXkuYvgg+sh4627MdnFh50K7O PsMTYMTngGXMfPpc6w2/MXDLxYaiU1GWaAc5oruXpjjx2vU+IT1EPD91gc34ig00 Whi9UJgH4RR4/pSqCFYbd4zGXs/FHt9hLjLE+w7K5RS1I2Mh7TWBq+u458LSvAA= =f1Hz -----END PGP SIGNATURE----- --HG+GLK89HZ1zG0kk--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20180405203300.GE23904>