Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 2 Mar 2018 19:32:44 -0800
From:      Tal Garfinkel <talg@cs.stanford.edu>
To:        freebsd-arch@freebsd.org
Cc:        Brooks Davis <brooks@csl.sri.com>
Subject:   Feedback on adding SAL annotations to syscalls.master
Message-ID:  <CAF8jzdsr-=%2Br9AH3be4A_rJ2yCKkcwUNVYGsxCGCq2MfzxFcvg@mail.gmail.com>

next in thread | raw e-mail | index | archive | help
Hi all,

I recently put a patch up on Phabricator with SAL annotations for
syscalls.master and small modification to makesyscalls.sh to strip
out the annotations.

https://reviews.freebsd.org/D14285

The annotations were originally written by Brooks Davis, for the cheribsd
project, I just made a few changes to bring them up to speed with freebsd
current with help from Brooks.


The immediate motivation for this is to support automatically generating
code for a record/replay system that will stay consistent with the system
call interface.

Other potential uses include: dynamic bound checking system call inputs
(the original motivation in cheribsd), static analysis (the original use
for SAL), automatic test generation (which Brooks has a student looking
at), and a variety of other potential uses where one would like
to automatically generate code to deal with the system call interface
without having to deal with the tedium and error prone nature of doing the
by hand, and have to worry about this drifting from version to version.

What is the impact:

Since these annotations are stripped out before code is generated from
syscalls.master their impact on the system is minimal.

Tal



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAF8jzdsr-=%2Br9AH3be4A_rJ2yCKkcwUNVYGsxCGCq2MfzxFcvg>