Semantics-driven static analysis could be used to improve the safety, correctness, and performance of Unix ... shell programming is as prevalent as ever but is quite complex due in part to the ...