"Shell programs are sort of ... 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 ...

Semantics-driven static analysis could be used ... Even when being extremely careful, shell programmers discover devastating bugs in their programs only at runtime. At best, shell programs that ...