Clarify and harden cleanroom rules around reference executable instrumentation
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 45/100
- Loại issue
- Tính năng
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Ít trao đổi
- Công nghệ
- docker
- Lĩnh vực
- documentation, infrastructure, security
Hướng nghiên cứu
Bắt đầu với các hướng dẫn hiện tại của ProgramBench và mini-SWE-agent cùng thiết lập Docker được khuyến nghị mô tả trong issue. So sánh việc probing black-box được cho phép một cách rõ ràng với việc instrument môi trường, loader, trạng thái tiến trình và hệ thống tệp, sau đó xác định liệu ranh giới cleanroom đã được tài liệu hóa có đủ hay cần một oracle harness có cấu trúc và được cô lập. Được xem là hoàn tất khi các quy tắc và, nếu được triển khai, hành vi của harness là rõ ràng và có thể tái lập.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Hi ProgramBench team, thanks for releasing the benchmark.
I wanted to ask for clarification about the intended cleanroom boundary for the provided reference executable during inference.
The current ProgramBench / mini-SWE-agent instructions are very clear that agents should infer behavior only by running the provided executable and reading bundled documentation. The default ProgramBench config also disallows internet access (--network none), runs as a non-root user, and drops SYS_PTRACE. The prompt explicitly forbids source lookup, wrapping/reusing the original binary, decompilation/disassembly, and strace/ltrace or similar instrumentation.
My question is whether the following should also be explicitly considered cleanroom violations, which I have observed during inference of my tested model:
- executing the reference with a polluted environment, e.g.
PATH=/tmp:$PATH ./executable ...to make it call agent-written fake dependencies - using loader instrumentation such as
LD_PRELOAD,LD_LIBRARY_PATH, or dynamic linker tricks against./executable - inspecting runtime process state via
/proc/$pid/{maps,fd,environ,cmdline}or core/memory dumps - changing cwd/tmp/config files specifically to observe implementation-level effects rather than normal public CLI behavior
These are different from normal allowed black-box probing, such as running ./executable --help, passing inputs, and observing stdout/stderr/exit codes/filesystem side effects.
The current recommended Docker setup appears to run the agent and the reference executable in the same container. This blocks important classes of abuse (--network none, non-root user, SYS_PTRACE dropped), but it does not fully isolate the true reference executable from agent-controlled environment variables, writable /tmp/workspace state, PATH/cwd pollution, or same-container process observation.
Would you consider either:
- documenting the above behaviors explicitly as disallowed instrumentation/wrapping of the oracle, and/or
- adding an optional hardened inference harness where the true reference executable runs behind a separate sanitized oracle process/container, with the agent only able to issue structured black-box execution requests?
This is not intended as a security vulnerability report. It is a benchmark semantics / reproducibility question: the goal is to ensure scores measure behavioral inference from the public interface, not implementation-level oracle instrumentation.
- Ngôn ngữ chính
- Python
- Star
- 928
- Fork
- 67
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của facebookresearch/ProgramBench
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 58/100
Tất cả issue của facebookresearch/ProgramBench
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
anthropics/skills#1811 · 1 bình luận ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
speaches-ai/speaches#678 ·
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
datalayer/mcp-compose#42 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
conda-forge/spacy-feedstock#177 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
UKGovernmentBEIS/inspect_evals#2523 ·