静的解析 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 静的解析 へ行く。
• 静的解析 の差分を削除

#author("2023-10-22T08:49:38+00:00;2020-02-23T23:20:43+00:00","default:hotate","hotate")
#author("2026-09-12T07:41:50+00:00","default:hotate","hotate")
#contents
&tag(静的解析,ソースコード);

* 様式 [#k528adc8]
- [[コード スキャン用の SARIF ファイルについて - GitHubドキュメント>https://docs.github.com/ja/code-security/concepts/code-scanning/sarif-files]]
 SARIF は _、静的分析結果交換形式_を表します。 これは、静的分析ツールからの結果を格納するための JSON ベースの標準です。

* C/C++ [#g1416689]
** Splint [#y36309a4]
- [[splintchecker/splint: Splint - annotation-assisted static program checker>https://github.com/splintchecker/splint]]
 Splint - annotation-assisted static program checker
- [[C言語の静的解析ツールを使ってみよう！｜Splint | 組込みエンジニアの思うところ>https://nagayasu-shinya.com/cpp-static-analyzer-splint/]]
 今回は、フリーの静的解析ツール Splintについて説明します。


* 可視化 [#v8f0206f]

* 関連 [#od47285d]
#related

#taglist(tag=ソースコード)