diff options
| author | maramihali <maramihali@google.com> | 2021-07-13 15:42:51 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-13 15:42:51 +0300 |
| commit | df4265465adfccfb96d35b0078d73bce8e16e4d7 (patch) | |
| tree | 4f15c17240db0690fa6d169c88b65e261462ee8b /pkg/html | |
| parent | 70168d5c7b350934f6b1b1612d3423f24ceef6f1 (diff) | |
syz-verifier: use only system calls supported by all kernels and with no transitive dependencies when building the `prog.ChoiceTable` (#2653)
* pkg/rpctype: add types for CheckUnsupported RPC
* syz-runner: added functionality for detecting unsupported system calls
* syz-verifier: added UpdateUnsupported RPC method
This will receive the unsupported system calls from each kernel,
compute the intersections of system calls that are enabled by all
kernels and build the choice table only using those.
* syz-verifier, syz-runner: report only when specific calls are enabled
Diffstat (limited to 'pkg/html')
0 files changed, 0 insertions, 0 deletions