PolySpace ÑhPolySpace 3.2MISRA Checker Ÿý

PolySpace Technologies,/E–M„ÐLïÀKoö„løÊ)Öì£ÑhïÀŒCAda„PolySpace Version 3.2PolySpace Version 3.2ìPolySpace MISRA CheckerŸý /,*.©(7&MISRA-C:2004Æ„ÀKoö

PolySpace Technologies,/E–M„ÐLïÀKoö„løÊ)Öì£ÑhïÀŒCAda„PolySpace Version 3.2PolySpace Version 3.2ìPolySpace MISRA CheckerŸý /,*.©(7&MISRA-C:2004Æ„ÀKoö

PolySpace Version 3.2 츰y℠ PolySpace¢7)ÏÑU, oö’vÝÁoö(ÏvÍ℠„°y℠ì;¦pn :Ä„Ÿýv    ÔåM¹(„(7Lb

PolySpace Cíìï    é„pnôŸý(Data Range Specification module) Ù*Ÿýoö„ÑÀŒšPolySpaceö„;¦ā hILp„ôÑïMnoö„ÄÇ„B

PolySpace ØJPolySpace MISRA Checker„ÑhPolySpace MISRA Checker /(°„MISRA-C:2004Æ„,M&ÀKoöïå.©6 }fIÑs.oö„ÄÇåÝÁÖì„ãāûvï:&

sŽPolySpace Technologies

PolySpace Technologies„/ê¨ÑKÐLÁÑLeoö„løÄÇ oöÑāÏ,āÝÁoö(Ïï`'PolySpace(ا„½aãÊ€/KúÐLï Kúãā-„ÐLïPolySpace„§Áê`oö„ãāÅ™KÕ(‹_oöÕPolySpace C, C++ Adaí„ÀK§Á:}f6 ā*z*)āý2ûßā5PåIÑLeoö儸å¢7Ð؆ÑH‡§Á(Ï

http://www.polyspace.com