From owner-svn-src-all@freebsd.org Thu Apr 5 20:33:02 2018 Return-Path: Delivered-To: svn-src-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id C54A9FA0C0A; Thu, 5 Apr 2018 20:33:01 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: from spindle.one-eyed-alien.net (spindle.one-eyed-alien.net [199.48.129.229]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 725EB6FF73; Thu, 5 Apr 2018 20:33:00 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: by spindle.one-eyed-alien.net (Postfix, from userid 3001) id 43AA55A9F15; Thu, 5 Apr 2018 20:33:00 +0000 (UTC) Date: Thu, 5 Apr 2018 20:33:00 +0000 From: Brooks Davis 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> References: <201804052031.w35KVjQE032631@repo.freebsd.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="HG+GLK89HZ1zG0kk" Content-Disposition: inline In-Reply-To: <201804052031.w35KVjQE032631@repo.freebsd.org> User-Agent: Mutt/1.9.4 (2018-02-28) X-BeenThere: svn-src-all@freebsd.org X-Mailman-Version: 2.1.25 Precedence: list List-Id: "SVN commit messages for the entire src tree \(except for " user" and " projects" \)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 05 Apr 2018 20:33:02 -0000 --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 > 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--