News

InfoWorld6d
Static analysis proposed for shell programs
Semantics-driven static analysis could be used to improve the safety, correctness, and performance of Unix, Linux, and macOS ...
Hosted on MSN13d
Ghost in the shell script: Boffins reckon they can catch bugs before programs run
Shell scripting may finally get a proper bug-checker. A group of academics has proposed static analysis techniques aimed at ...
InfoWorld4d
Static analysis proposed to ‘rehabilitate’ shell programs
Semantics-driven static analysis could be used to improve the safety, correctness, and performance of Unix, Linux, and macOS ...