ScalafromInfoWorld2 weeks agoStatic analysis proposed to 'rehabilitate' shell programsResearchers propose semantics-driven static analysis to enhance the safety and reliability of Unix shell programs.