syz-check

Documentation

Overview

syz-check does best-effort static correctness checking of the syscall descriptions in sys/os/*.txt. Use:

$ go install ./tools/syz-check
$ syz-check -obj /linux/vmlinux

Currently it works only for linux and only for one arch at a time. The vmlinux files should include debug info and enable all relevant configs (since we parse dwarf). The results are produced in sys/os/*.warn files. On implementation level syz-check parses vmlinux dwarf, extracts struct descriptions and compares them with what we have (size, fields, alignment, etc).