ShellCheck is a code verifier that spots bugs, incompatibilities, and other problems in shell scripts. It’s valuable because few similar tools exist, and shell programming can be particularly flaky, ...

Shell scripting may finally get a proper bug-checker. A group of academics has proposed static analysis techniques aimed at improving the correctness and reliability of Unix shell programs.… The team ...