syz-check

command
v0.0.0-...-ebce6cf Latest Latest
Warning

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

Go to latest
Published: Feb 7, 2022 License: Apache-2.0 Imports: 16 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 /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).

Jump to

Keyboard shortcuts

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