静的コード解析 (せいてきコードかいせき、) または静的プログラム解析 () とは、コンピュータのソフトウェアの解析手法の一種であり、実行ファイルを実行することなく解析を行うこと。逆にソフトウェアを実行して行う解析を動的プログラム解析と呼ぶ。静的コード解析はソースコードに対して行われることが多いが、少数ながらオブジェクトコードに対して行う場合もある。また、この用語は以下に列挙するツールを使用した解析を意味することが多い。人間が行う作業はインスペクション、コードレビューなどと呼ぶ。日本語では静的コード分析とも訳される。
概要.
ソフトウェア測定法やリバースエンジニアリングも静的解析の一部とみなすこともある。特に組み込みシステムの開発において、ソフトウェア測定法と静的コード解析が品質向上の一助として活用されることが多くなっている。
静的解析の商業利用が増えているのは、重要なコンピュータシステムで使用されるソフトウェアの検証や潜在的なセキュリティホールを検出する必要性が増大したことを意味する。以下のような分野で、複雑さを増していくソフトウェアの品質向上に静的コード解析が使われている。
形式手法.
形式手法は、ソフトウェアやハードウェアの解析に用いられる用語であり、厳密に数学的な手法によって解析結果を得ることを意味する。数学的手法としては、表示的意味論、公理的意味論、操作的意味論、抽象解釈などがある。
形式的な静的コード解析の実装方法には以下のようなものがある:
静的コード解析ツール.
吉田隆彦
吉田 隆彦（よしだ たかひこ）は、日本の男性アニメーター、キャラクターデザイナー。
堀内駅 (曖昧さ回避)
楊国忠
生涯.
出世への道.
蒲州永楽県の出身。
好度支郎・楊国忠.
宰相となる.
宿敵・安禄山.
栄光の末路.
楊国忠は剣南節度使を兼ねていたため、蜀地方への出奔を提言。この時、「安禄山の謀反の兆しを陛下が信じなかったからであり、宰相の責任ではない」と広言したと言われる。玄宗も同意し、太子李亨・楊貴妃・楊氏一族・宦官の李輔国・高力士・韋見素・魏方進・陳玄礼らを連れ、密かに西方へと出発した。
エピソード.
・冬の日は、風を遮らせるために常に太った侍女たちを前に歩かせて、「肉陣」と言った。また、彼の自宅に作った四香閣は、宮廷の沈香亭も壮麗さでは全く及ばなかった。