HotOS XX会議

シェルスクリプトのバグを事前にキャッチ!? 静的解析技術の可能性【HotOS XX】

要約有志者がコードの正確性を求めるGhost in the shell script. Unixシェルプログラムの正確性と信頼性向上を目指す静的解析技術が提案され、実行前にシェルスクリプトを分析することで、静的に型付けされた言語に特有の事前...