Add sh as a bash-compatible POSIX shell

Alvaro Muñoz · Alvaro Muñoz · commit 6bf3eb79a9aa · 2024-10-17T10:44:43.000+02:00
diff --git a/ql/lib/codeql/actions/Bash.qll b/ql/lib/codeql/actions/Bash.qll
@@ -4,7 +4,7 @@ class BashShellScript extends ShellScript {
   BashShellScript() {
     exists(Run run |
       this = run.getScript() and
-      run.getShell().matches("bash%")
+      run.getShell().matches(["bash%", "sh"])
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ class BashShellScript extends ShellScript {`
`4`	`4`	`BashShellScript() {`
`5`	`5`	`exists(Run run \|`
`6`	`6`	`this = run.getScript() and`
`7`		`- run.getShell().matches("bash%")`
	`7`	`+ run.getShell().matches(["bash%", "sh"])`
`8`	`8`	`)`
`9`	`9`	`}`
`10`	`10`