syz-check

command
v0.0.0-...-8742a2b Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: May 9, 2020 License: Apache-2.0 Imports: 18 Imported by: 0

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-amd64 /linux_amd64/vmlinux -obj-arm64 /linux_arm64/vmlinux \
	-obj-386 /linux_386/vmlinux -obj-arm /linux_arm/vmlinux

The vmlinux files should include debug info and enable all relevant configs (since we parse dwarf). You may check only one arch as well (but then don't commit changes to warn files):

$ syz-check -obj-amd64 /linux_amd64/vmlinux

You may also disable dwarf or netlink checks with the corresponding flags. E.g. -dwarf=0 greatly speeds up checking if you are only interested in netlink warnings (but then again don't commit changes).

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). Netlink checking extracts policy symbols from the object files and parses them.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL