diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-12-02 10:57:36 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-12-11 15:22:17 +0000 |
| commit | 59267911909f7e749367f87d62448d7daa87b1b5 (patch) | |
| tree | 02bf0a5d9e6012a8b6cb237fed7789f61aca6cc2 /tools/syz-declextract/README.md | |
| parent | c756ba4e975097bf74b952367e2cd1a8db466c69 (diff) | |
tools/syz-declextract: generate file_operations descriptions
Emit descriptions for special files in /dev, /sys, /proc, and ./.
pkg/declextract combines file_operations info produced by the clang tool
with the dynamic probing info produced by pkg/ifaceprobe in order
to produce complete descriptions for special files.
Diffstat (limited to 'tools/syz-declextract/README.md')
| -rw-r--r-- | tools/syz-declextract/README.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/syz-declextract/README.md b/tools/syz-declextract/README.md index cab397192..934059810 100644 --- a/tools/syz-declextract/README.md +++ b/tools/syz-declextract/README.md @@ -45,3 +45,9 @@ make -j`nproc` syz-declextract go run tools/syz-declextract -binary=$LLVM_BUILD/bin/syz-declextract -config=manager.cfg syz-env make extract SOURCEDIR=$KERNEL ``` + +The tool caches results of static kernel analysis in manager.workdir/declextract.cache, +and results of the dynamic kernel probing in manager.workdir/interfaces.json. +These can be examined for debugging purposes, and reused separately by passing +-cache-extract and -cache-probe flags. Caching greatly saves time if only part +of the system has changed. If only the Go tool has changed, then both caches can be reused. |