syz-extract-constants

Kernel constants for syzlang are extracted by running the syz-extract workflow when kernel headers are available, or by manually creating a .const file when headers are inaccessible.

A .const file in syzkaller is a companion file to syzlang descriptions that defines kernel constants like ioctls and flags, required when kernel headers are unavailable or when using manual constant files.

Yes, you can define syzkaller constants without kernel source headers by using the manual constants workflow to create and format a companion .const file alongside your syzlang description.

Companion constant files for syzlang must be formatted as .const files and named alongside their corresponding syzlang descriptions to ensure consistency across test cases and valid fuzzing program generation.

Syzkaller needs accurate kernel constants like ioctls and flags to generate valid fuzzing programs, ensuring that test cases interact correctly with kernel interfaces and maintain consistency across descriptions.

The best way to validate extracted kernel constants for syzlang is to follow the extraction workflow's guidance for integrating them into syzlang descriptions and verifying consistency across test cases.