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

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

Addresses manipulating and maintaining files within the UNIX file system; creating and editing text files using the vi and ed editors; using pipes, redirection, and filters; using advanced text ...