翻訳と辞書 Words near each other ・ Polysoma ・ Polysoma aenicta ・ Polysoma clarki ・ Polysoma eumetalla ・ Polysoma lithochrysa ・ Polysoma tanysphena ・ Polysome ・ Polysome (Crystallography) ・ Polysomnographic technologist ・ Polysomnography ・ Polysomy ・ Polysorbate ・ Polysorbate 20 ・ Polysorbate 80 ・ Polysoude ・ Polyspace ・ Polyspatha ・ Polyspermy ・ Polysphaeria ・ Polysphaeria macrantha ・ Polysphalia ・ Polyspheric ・ Polysphincta boops ・ Polysphondylium ・ Polysphondylium pallidum ・ Polyspilota aeruginosa ・ Polyspilota griffinii ・ Polyspina piosae ・ Polyspirella ・ Polyspirella aglaia Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Polyspace ： ウィキペディア英語版 Polyspace Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards. == Common uses == Polyspace examines the source code to determine where potential run-time errors such as arithmetic overflow, buffer overrun, division by zero, and others could occur. Software developers and quality assurance managers use this information to identify which parts of the code are faulty or proven to be reliable. Other parts of the code are marked for unproven checks and deserve individual review. Code standards or guidelines such as MISRA C attempt to address code quality, portability and reliability. The product checks C and C++ source code for conformance to a subset of rules in these coding standards.〔MathWorks: (static code analysis ).〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Polyspace」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.