From owner-freebsd-arch@freebsd.org  Fri Mar 30 20:45:24 2018
Return-Path: <owner-freebsd-arch@freebsd.org>
Delivered-To: freebsd-arch@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 48BF1F678B3
 for <freebsd-arch@mailman.ysv.freebsd.org>;
 Fri, 30 Mar 2018 20:45:24 +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 1D3107EF44
 for <freebsd-arch@freebsd.org>; Fri, 30 Mar 2018 20:45:23 +0000 (UTC)
 (envelope-from brooks@spindle.one-eyed-alien.net)
Received: by spindle.one-eyed-alien.net (Postfix, from userid 3001)
 id 2266D5A9F16; Fri, 30 Mar 2018 20:45:23 +0000 (UTC)
Date: Fri, 30 Mar 2018 20:45:23 +0000
From: Brooks Davis <brooks@freebsd.org>
To: freebsd-arch@freebsd.org
Cc: Tal Garfinkel <talg@cs.stanford.edu>, Ali Mashtizadeh <ali@mashtizadeh.com>
Subject: adding pointer annotations to syscalls.master
Message-ID: <20180330204523.GO88362@spindle.one-eyed-alien.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.9.4 (2018-02-28)
X-BeenThere: freebsd-arch@freebsd.org
X-Mailman-Version: 2.1.25
Precedence: list
List-Id: Discussion related to FreeBSD architecture <freebsd-arch.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-arch>,
 <mailto:freebsd-arch-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-arch/>
List-Post: <mailto:freebsd-arch@freebsd.org>
List-Help: <mailto:freebsd-arch-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-arch>,
 <mailto:freebsd-arch-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 30 Mar 2018 20:45:24 -0000

I plan to commit https://reviews.freebsd.org/D14285 early next week.  It
adds SAL 2.0 annotations to syscalls in syscalls.master and code
makesyscalls.sh to strip them out in generated files.

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.

-- Brooks