ការចេញផ្សាយ ControlFlag 1.0 ដែលជាឧបករណ៍សម្រាប់ស្វែងរកកំហុសនៅក្នុងកូដ C

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

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

ជាឧទាហរណ៍នៃសមត្ថភាពរបស់ ControlFlag អ្នកអភិវឌ្ឍន៍បានវិភាគកូដប្រភពនៃគម្រោង OpenSSL និង cURL៖

• សំណង់អនាមិក “(s1 == NULL) ∧ (s2 == NULL)” និង “(s1 == NULL) | (s2 == NULL)" ដែលមិនត្រូវគ្នានឹងលំនាំដែលប្រើជាទូទៅ "(s1 == NULL) || (s2 == NULL)" ។ កូដនេះក៏បានកំណត់អត្តសញ្ញាណភាពមិនប្រក្រតីនៅក្នុងកន្សោម “(-2 == rv)” (ដកគឺជាការវាយអក្សរ) និង “BIO_puts(bp, “:”) <= 0)” (ក្នុងបរិបទនៃការពិនិត្យមើលការបញ្ចប់ដោយជោគជ័យនៃ មុខងារវាគួរតែជា "== 0") ។
• នៅក្នុង cURL កំហុសមួយត្រូវបានរកឃើញដែលមិនត្រូវបានរកឃើញដោយអ្នកវិភាគឋិតិវន្ត នៅពេលប្រើធាតុរចនាសម្ព័ន្ធ “s->keepon” ដែលមានប្រភេទលេខ ប៉ុន្តែត្រូវបានប្រៀបធៀបជាមួយនឹងតម្លៃប៊ូលីន TRUE ។

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

ប្រភព: opennet.ru