Polyspace
Polyspaceは、静的コード解析ツール。C言語、C++、Adaのソースコードに実行時エラーが存在しないことを検出または証明するための抽象解釈による大規模分析ができる。このツールはソースコードが適切なコード標準に準拠しているかどうかもチェックできる。
Q1329550
静的コード解析
Concept
Q15777
C言語
Concept
Q2407
C++
MEDIA
Q154755
Ada
MEDIA
Q333341
抽象解釈
UNK
Q7226954
Polyspace
MISC
use
influenced by
influenced by
influenced by