diff options
| author | Mark Johnston <markjdb@gmail.com> | 2020-08-10 10:21:46 -0400 |
|---|---|---|
| committer | Mark Johnston <markjdb@gmail.com> | 2020-08-11 11:42:07 -0400 |
| commit | 4ad44804fb55c8018cdd82cb9e1a7497d1f2df03 (patch) | |
| tree | cb47953abe40789d095abb1fc28bfbc14572eb2c | |
| parent | 5d3ebca92176e3efe65536108219b6b4677d539d (diff) | |
docs/freebsd: update the "missing things" list
Some items have already been implemented. Add some new items to work
towards.
| -rw-r--r-- | docs/freebsd/README.md | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/docs/freebsd/README.md b/docs/freebsd/README.md index b92213cad..75650da82 100644 --- a/docs/freebsd/README.md +++ b/docs/freebsd/README.md @@ -188,11 +188,9 @@ If something does not work, try adding the `-debug` flag to `syz-manager`. ## Missing things -- 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 the `amd64` arch is supported. It would be useful to support a 32-bit executor in order to cover 32-bit compatibility syscalls. +- System call descriptions. The initial list of FreeBSD system calls was a copy-and-paste of Linux's, and while they have been cleaned up over time they should be audited more carefully. We are also still missing many system call descriptions. - We should support fuzzing the Linux compatibility subsystem. -- `pkg/csource` needs to be taught how to generate/build C reproducers. +- We should provide instructions for fuzzing a FreeBSD system on ZFS - `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. -- KASAN for FreeBSD would be useful. +- KASAN and KCSAN 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. |