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>