Static analysis is currently not particularly well suited to shell scripts, the paper points out. Shell scripts are dynamic in nature, with runtime code evaluation and shell parameter expansion ...

Semantics-driven static analysis is being proposed by a group of researchers as way to ensure that Unix, Linux, and macOS shell programs are safe, bug-free, and work as expected.However, the ...