静的コード解析
Sign in to saveAlso known as static code analysis, static analysis, static software analysis
プログラムのソースコードを実行せずに、ツールを使って自動的に分析し、脆弱性などを検出する手法
Article · 日本語
静的コード解析 (せいてきコードかいせき、static code analysis) または静的プログラム解析 (static program analysis)とは、コンピュータのソフトウェアの解析手法の一種であり、実行ファイルを実行することなく解析を行うこと。逆にソフトウェアを実行して行う解析を動的プログラム解析と呼ぶ。静的コード解析はソースコードに対して行われることが多く、少数ながらオブジェクトコードに対して行う場合もある。また、この用語は以下に列挙するツールを使用した解析を意味することが多い。人間が行う作業はインスペクション、コードレビューなどと呼ぶ。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
operational semantics
Entity
software development process
Entity
Lint
Entity
programming style
Entity
correctness
Entity
dynamic program analysis
Entity
data-flow analysis
Entity
Isabelle
Entity
computer science
Entity
Alan Turing
Entity
software
Entity
International Standard Book Number
Entity
computer hardware
Entity
Wayback Machine
Entity
Kurt Gödel
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
compiler
Entity
software engineering
Entity
source code
Entity