Software developmentfromTheregister9 hours agoGhost in the shell script: Boffins seek code correctnessAcademic researchers propose static analysis techniques to improve reliability and correctness of Unix shell scripts, which often lead to serious bugs.