diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-19 14:34:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-19 14:34:48 +0200 |
| commit | 355f57c5fb7c59098be466e32e708f0c46ecc2ce (patch) | |
| tree | 1a48476e7d3f3c1e418cb800a4eac23f237b8cfc | |
| parent | b8d21896b67c49ae9196b2a458638e1ae7861dae (diff) | |
Update freebsd.md
| -rw-r--r-- | docs/freebsd.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/freebsd.md b/docs/freebsd.md index 18c6490cc..e20c6f4b7 100644 --- a/docs/freebsd.md +++ b/docs/freebsd.md @@ -89,11 +89,13 @@ If something does not work, add `-debug` flag to `syz-manager`. ## Missing things -- Coverage. `executor/executor_freebsd.cc` uses a very primitive fallback for coverage. We need KCOV for FreeBSD. +- Coverage. `executor/executor_freebsd.cc` uses a very primitive fallback for coverage. We need KCOV for FreeBSD. It will also help to assess what's covered and what's missing. - System call descriptions. `sys/freebsd/*.txt` is a dirty copy from `sys/linux/*.txt` with everything that does not compile dropped. We need to go through syscalls and verify/fix/extend them, including devices/ioctls/etc. - Currently only `amd64` arch is supported. Supporting `386` would be useful, because it should cover compat paths. Also, we could do testing of the linux-compatibility subsystem. - `pkg/csource` needs to be taught how to generate/build C reproducers. - `pkg/host` needs to be taught how to detect supported syscalls/devices. - `pkg/report`/`pkg/symbolizer` need to be taught how to extract/symbolize kernel crash reports. - We need to learn how to build/use debug version of kernel. +- KASAN for FreeBSD would be useful. +- On Linux we have emission of exernal networking/USB traffic into kernel using tun/gadgetfs. Implementing these for FreeBSD could uncover a number of high-profile bugs. - Last but not least, we need to support FreeBSD in `syz-ci` command (including building kernel/image continuously from git). |