Software development
fromTheregister
2 months agoGhost in the shell script: Boffins seek code correctness
Academic researchers propose static analysis techniques to improve reliability and correctness of Unix shell scripts, which often lead to serious bugs.