Semantics-driven static analysis could be used to improve the safety, correctness, and performance of Unix, Linux, and macOS shell scripts, researchers say.

The input prompt is more like a command prompt for a programming ... a general-purpose shell, it seems to leave something to be desired. Of course, what we really like is Linux gives you choices.