fspy does not record file accesses of static programs on kernels without process_vm_readv
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 68/100
- issue の種類
- バグ
- 明瞭さ
- 明確に書かれている
- 活発さ
- 活発
- 技術スタック
- linux, rust
調査の方向性
Start by reading crates/fspy_seccomp_unotify/src/supervisor/handler/arg.rs:47 and the error handling in crates/fspy_seccomp_unotify/src/supervisor/mod.rs:121. Reproduce with cargo test -p fspy --test static_executable on a kernel where process_vm_readv returns ENOSYS, then add or verify fallback behavior for /proc/<pid>/mem and incomplete tracking. Done means static-program file accesses are recorded on affected kernels and the cache does not retain incomplete results.
索引モデルが issue の本文から書いたものです。
説明
Problem
Some Linux kernels do not have the process_vm_readv system call. On these kernels, fspy does not record the file accesses of static programs. The task shows no error.
If you change a file that a static program read, the cache does not detect the change. Then the vp run command uses the old cached output.
On musl builds, fspy uses seccomp for all programs, so this problem affects every tracked program (not tested).
Affected kernels
The CONFIG_CROSS_MEMORY_ATTACH kernel option adds the process_vm_readv system call. The following kernels do not set this option:
- Kata Containers guest kernels. Kata builds these kernels from a configuration that has all options off. Then Kata adds only the options that it needs.
- The default kernel of Apple
container. This kernel is the Kata 3.32.0 kernelvmlinux-6.18.35-197. The/proc/config.gzfile of this kernel shows# CONFIG_CROSS_MEMORY_ATTACH is not set.
The default value of this option is y. Most distribution kernels set it.
Cause
For static programs, fspy intercepts system calls with seccomp. The supervisor process then reads each path argument from the memory of the program.
- The supervisor reads the memory only with the
process_vm_readvsystem call (crates/fspy_seccomp_unotify/src/supervisor/handler/arg.rs:47). - On the affected kernels, the
process_vm_readvsystem call fails with theENOSYSerror. - The supervisor ignores the error and lets the intercepted system call continue (
crates/fspy_seccomp_unotify/src/supervisor/mod.rs:121). - fspy does not record the access.
Steps to reproduce
- Start a Fedora virtual machine (VM) with Apple
containerand its default kernel. - In the VM, check out commit
b182c9be. - Run
cargo test -p fspy --test static_executable.
Result: 9 of 10 tests fail. Only the readdir test passes, because that test does not read the memory of the program. In each failed test, fspy records only the execution of the test program:
Expected accesses to /hello to match, as (actual, expected): [].
All accesses: [Read(".../fspy-test-bin"), Read(".../fspy-test-bin")]
I also tested a child process in the same VM:
- The
process_vm_readvsystem call fails with theENOSYSerror. - A read of the
/proc/<pid>/memfile at the same address returns the correct data.
Possible fixes
- If the
process_vm_readvsystem call fails with theENOSYSerror, read the/proc/<pid>/memfile with thepreadsystem call. This file does not need the kernel option. Reads of this file use the same permission check as theprocess_vm_readvsystem call. I have not tested this fix in fspy. - If the supervisor cannot read an access, do not cache the task. vite-task already does this with the
TrackingIncompletereason when the access channel is full. This fix also covers other read errors, such as permission errors.
- 主要言語
- Rust
- スター
- 478
- フォーク
- 48
- 平均マージ
- 1日 3時間
- マージ済み PR(30日)
- 72
環境構築
このプロジェクトの開発コンテナを、あなたの GitHub アカウントでブラウザ上に起動します。
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
voidzero-dev/vite-task のほかの issue
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
voidzero-dev/vite-task#860 ·
メンテナーはふだん 1 日以内に返信
-
Concurrent cache hits for the same task fail to restore outputs with "File exists (os error 17)"オープン
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
voidzero-dev/vite-task#846 ·
メンテナーはふだん 1 日以内に返信
-
Windows: automatic filesystem tracking makes Git/MSYS sh.exe fail with MapViewOfFileEx error 487オープン
難易度 5/5 1週間以上 初心者へのやさしさ 18/100
voidzero-dev/vite-task#830 ·
メンテナーはふだん 1 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
voidzero-dev/vite-task#822 · コメント 1 件 · リアクション 2 件 ·
メンテナーはふだん 1 日以内に返信
-
Let tools mark cache directories with CACHEDIR.TAG対応中かも @lifeiscontent が 15 日前に担当しました。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
voidzero-dev/vite-task#793 ·
メンテナーはふだん 1 日以内に返信
voidzero-dev/vite-task の issue をすべて見る
似ている issue
-
area:desktop priority:p2 type:bug
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1〜3時間 初心者へのやさしさ 88/100
fritzprix/libr-agent#2165 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 69/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
-
area:ecosystem bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
Chelis-Lang/chelis#3942 ·
メンテナーはふだん 1 日以内に返信