Intel បានបើកកូដប្រព័ន្ធរៀនម៉ាស៊ីន ControlFlag ដើម្បីកំណត់អត្តសញ្ញាណកំហុសនៅក្នុងកូដ

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

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

កូដដែលកំពុងត្រួតពិនិត្យដំណើរការស្រដៀងគ្នានៃការកំណត់អត្តសញ្ញាណគំរូដែលត្រូវបានត្រួតពិនិត្យប្រឆាំងនឹងមែកធាងការសម្រេចចិត្តយោង។ ភាពខុសគ្នាធំជាមួយសាខាជិតខាងបង្ហាញពីវត្តមាននៃភាពមិនប្រក្រតីនៅក្នុងគំរូដែលកំពុងត្រូវបានពិនិត្យ។ ប្រព័ន្ធនេះក៏អនុញ្ញាតឱ្យអ្នកមិនត្រឹមតែកំណត់អត្តសញ្ញាណកំហុសនៅក្នុងគំរូប៉ុណ្ណោះទេ ប៉ុន្តែថែមទាំងណែនាំការកែតម្រូវផងដែរ។ ឧទាហរណ៍ នៅក្នុងកូដ OpenSSL សំណង់ “(s1 == NULL) ∧ (s2 == NULL)” ត្រូវបានកំណត់អត្តសញ្ញាណ ដែលបានបង្ហាញខ្លួននៅក្នុងមែកធាងវាក្យសម្ព័ន្ធត្រឹមតែ 8 ដងប៉ុណ្ណោះ ខណៈដែលសាខាជិតបំផុតជាមួយនឹងតម្លៃ “(s1 == NULL) || (s2 == NULL)” បានកើតឡើងប្រហែល 7 ពាន់ដង។ ប្រព័ន្ធក៏បានរកឃើញភាពមិនប្រក្រតី “(s1 == NULL) | (s2 == NULL)” ដែលបានបង្ហាញខ្លួន 32 ដងនៅក្នុងដើមឈើ។

នៅពេលវិភាគបំណែកកូដ "ប្រសិនបើ (x = 7) y = x;" ប្រព័ន្ធបានកំណត់ថា សំណង់ "អថេរ == ចំនួន" ជាធម្មតាត្រូវបានប្រើនៅក្នុងប្រតិបត្តិករ "ប្រសិនបើ" ដើម្បីប្រៀបធៀបតម្លៃជាលេខ ដូច្នេះវាទំនងជាខ្ពស់ដែលសូចនាករ "អថេរ = លេខ" នៅក្នុងកន្សោម "ប្រសិនបើ" ត្រូវបានបង្កឡើងដោយ វាយអក្សរខុស។ ឧបករណ៍វិភាគឋិតិវន្តប្រពៃណីនឹងចាប់បានកំហុសបែបនេះ ប៉ុន្តែមិនដូចពួកគេទេ ControlFlag មិនអនុវត្តច្បាប់ដែលត្រៀមរួចជាស្រេច ដែលវាពិបាកក្នុងការផ្តល់ជម្រើសដែលអាចធ្វើបានទាំងអស់ ប៉ុន្តែផ្អែកលើស្ថិតិនៃការប្រើប្រាស់រចនាសម្ព័ន្ធផ្សេងៗក្នុងចំនួនដ៏ច្រើន។ នៃគម្រោង។

ជាការពិសោធន៍ ដោយប្រើ ControlFlag នៅក្នុងកូដប្រភពនៃឧបករណ៍ប្រើប្រាស់ cURL ដែលជារឿយៗត្រូវបានលើកឡើងជាឧទាហរណ៍នៃកូដដែលមានគុណភាពខ្ពស់ និងសាកល្បង កំហុសដែលមិនស្គាល់ដោយអ្នកវិភាគឋិតិវន្តត្រូវបានកំណត់អត្តសញ្ញាណនៅពេលប្រើធាតុរចនាសម្ព័ន្ធ "s-> Keepon", ដែលមានប្រភេទលេខ ប៉ុន្តែត្រូវបានប្រៀបធៀបជាមួយតម្លៃប៊ូលីន TRUE ។ នៅក្នុងកូដ OpenSSL បន្ថែមពីលើបញ្ហាដែលបានរៀបរាប់ខាងលើជាមួយ "(s1 == NULL) ∧ (s2 == NULL)" ភាពមិនប្រក្រតីក៏ត្រូវបានកំណត់នៅក្នុងកន្សោម "(-2 == rv)" (ដកគឺ typo) និង "BIO_puts(bp, ":")

ប្រភព: opennet.ru