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