Who doesn’t want to use a programming language that is designed to be reliable, straightforward to learn and also happens to be certified for everything from avionics to rockets and ICBMs? Despite Ada ...
CodePeerは、CWE準拠の先進的なAdaコード用静的解析ツールで、ソフトウェアのエラーを検出し、レビューして検証する機能を備えています。 また、CodePeerは、MITRE社のCommon Weakness Enumeration(CWE)で「最も危険なソフトウェアエラー上位25」の検出が可能です。
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する