File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -261,7 +261,7 @@ getCommand t =
261261getCommandName t = do
262262 (T_SimpleCommand _ _ (w: rest)) <- getCommand t
263263 s <- getLiteralString w
264- if " busybox" `isSuffixOf` s
264+ if " busybox" `isSuffixOf` s || " builtin " == s
265265 then
266266 case rest of
267267 (applet: _) -> getLiteralString applet
Original file line number Diff line number Diff line change @@ -2483,6 +2483,7 @@ prop_checkUncheckedCd5 = verifyTree checkUncheckedCdPushdPopd "if true; then cd
24832483prop_checkUncheckedCd6 = verifyNotTree checkUncheckedCdPushdPopd " cd .."
24842484prop_checkUncheckedCd7 = verifyNotTree checkUncheckedCdPushdPopd " #!/bin/bash -e\n cd foo\n rm bar"
24852485prop_checkUncheckedCd8 = verifyNotTree checkUncheckedCdPushdPopd " set -o errexit; cd foo; rm bar"
2486+ prop_checkUncheckedCd9 = verifyTree checkUncheckedCdPushdPopd " builtin cd ~/src; rm -r foo"
24862487prop_checkUncheckedPushd1 = verifyTree checkUncheckedCdPushdPopd " pushd ~/src; rm -r foo"
24872488prop_checkUncheckedPushd2 = verifyNotTree checkUncheckedCdPushdPopd " pushd ~/src || exit; rm -r foo"
24882489prop_checkUncheckedPushd3 = verifyNotTree checkUncheckedCdPushdPopd " set -e; pushd ~/src; rm -r foo"
You can’t perform that action at this time.
0 commit comments