Intel ចេញផ្សាយ ControlFlag 1.2 ដែលជាឧបករណ៍សម្រាប់ស្វែងរកភាពមិនប្រក្រតីនៅក្នុងកូដប្រភព

ក្រុមហ៊ុន Intel បានចេញផ្សាយការចេញផ្សាយ ControlFlag 1.2 ដែលជាកញ្ចប់ឧបករណ៍ដែលអនុញ្ញាតឱ្យអ្នកកំណត់អត្តសញ្ញាណកំហុសនិងភាពមិនប្រក្រតីនៅក្នុងកូដប្រភពដោយប្រើប្រព័ន្ធរៀនម៉ាស៊ីនដែលត្រូវបានបណ្តុះបណ្តាលលើចំនួនដ៏ច្រើននៃកូដដែលមានស្រាប់។ មិនដូចឧបករណ៍វិភាគឋិតិវន្តបែបប្រពៃណីទេ ControlFlag មិនអនុវត្តច្បាប់ដែលត្រៀមរួចជាស្រេចទេ ដែលវាពិបាកក្នុងការផ្តល់ជម្រើសដែលអាចធ្វើបានទាំងអស់ ប៉ុន្តែផ្អែកលើស្ថិតិស្តីពីការប្រើប្រាស់សំណង់ភាសាផ្សេងៗនៅក្នុងគម្រោងដែលមានស្រាប់មួយចំនួនធំ។ កូដ ControlFlag ត្រូវបានសរសេរជា C ++ ហើយត្រូវបានប្រភពបើកចំហក្រោមអាជ្ញាប័ណ្ណ MIT ។

ការចេញផ្សាយថ្មីគឺគួរឱ្យកត់សម្គាល់សម្រាប់ការអនុវត្តការគាំទ្រពេញលេញសម្រាប់ការរកឃើញភាពមិនប្រក្រតី និងការរៀនដោយផ្អែកលើគំរូកូដទូទៅសម្រាប់ភាសា C ++ ។ នៅក្នុងកំណែមុន ការគាំទ្រស្រដៀងគ្នានេះត្រូវបានផ្តល់ជូនសម្រាប់ភាសា C និង PHP ។ ប្រព័ន្ធនេះគឺសមរម្យសម្រាប់ការកំណត់ប្រភេទផ្សេងៗនៃបញ្ហានៅក្នុងកូដ ចាប់ពីការកំណត់អត្តសញ្ញាណការវាយអក្សរ និងប្រភេទមិនស៊ីគ្នា ដើម្បីកំណត់អត្តសញ្ញាណភាពមិនប្រក្រតីនៅក្នុងសេចក្តីថ្លែងការណ៍ និងការបាត់ការត្រួតពិនិត្យ NULL នៅក្នុងទ្រនិច។ ប្រព័ន្ធនេះត្រូវបានបណ្តុះបណ្តាលដោយការកសាងគំរូស្ថិតិនៃអារេកូដដែលមានស្រាប់នៃគម្រោងប្រភពបើកចំហនៅក្នុង C, C ++ និង PHP ដែលបានបោះពុម្ពផ្សាយនៅក្នុង GitHub និងឃ្លាំងសាធារណៈស្រដៀងគ្នា។

នៅដំណាក់កាលបណ្តុះបណ្តាល ប្រព័ន្ធកំណត់គំរូធម្មតាសម្រាប់ការសាងសង់រចនាសម្ព័ន្ធនៅក្នុងកូដ និងបង្កើតមែកធាងវាក្យសម្ព័ន្ធនៃការតភ្ជាប់រវាងគំរូទាំងនេះ ដែលឆ្លុះបញ្ចាំងពីលំហូរនៃការប្រតិបត្តិកូដនៅក្នុងកម្មវិធី។ ជាលទ្ធផល មែកធាងធ្វើសេចក្តីសម្រេចចិត្តយោងត្រូវបានបង្កើតឡើង ដែលរួមបញ្ចូលគ្នានូវបទពិសោធន៍អភិវឌ្ឍន៍នៃកូដប្រភពដែលបានវិភាគទាំងអស់។ កូដដែលកំពុងត្រួតពិនិត្យដំណើរការស្រដៀងគ្នានៃការកំណត់អត្តសញ្ញាណគំរូដែលត្រូវបានត្រួតពិនិត្យប្រឆាំងនឹងមែកធាងការសម្រេចចិត្តយោង។ ភាពខុសគ្នាធំជាមួយសាខាជិតខាងបង្ហាញពីវត្តមាននៃភាពមិនប្រក្រតីនៅក្នុងគំរូដែលកំពុងត្រូវបានពិនិត្យ។

ប្រភព: opennet.ru