静的解析

セマンティックコード解析エンジンCodeQL

要約CodeQLは、業界をリードするセマンティックコード解析エンジンであり、コードベース全体で脆弱性を発見することができます。CodeQLはコードをデータとしてクエリでき、脆弱性のすべてのバリエーションを見つけ、永久に排除するためのクエリを...

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

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