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 ...