静的解析ツール
#Fleeting_Notes
静的解析ツール(static analysis tools)
C/C++
Cppcheck
Astrée
Astrée Static Analyzer for C and C++
実際の事例:
Astrée: Introduction
確認用
Q. 静的解析ツール
調査用
Google.icon
静的解析ツール(日)
Google.icon
Static analysis tools(英)
Wikipedia.icon
静的解析ツール - Wikipedia(日)
静的解析ツール(検索) - Wikipedia(日)
Wikipedia.icon
Static analysis tools - Wikipedia(英)
Static analysis tools(検索) - Wikipedia(英)