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>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20180330204523.GO88362>