Intel ayaa la soo bandhigay iyada oo loo marayo xayaysiis horumarinta la xidhiidha mashruuca cilmi-baarista ControlFlag, kaas oo loogu talagalay in lagu abuuro nidaamka barashada mashiinka si kor loogu qaado tayada code.
Qalabka waxa lagu siidaayay shatiga MIT waxayna u taagan tahay oggolaanshaha, iyadoo lagu salaynayo qaab lagu tababaray tiro badan oo kood ah, si loo aqoonsado khaladaadka iyo cilladaha kala duwan ee qoraallada isha ee ku qoran luqadaha heerka sare ah sida C/C ++.
Nidaamka waxay ku haboon tahay in lagu ogaado noocyada kala duwan ee dhibaatooyinka koodka, laga bilaabo ogaanshaha khaladaadka qoraalka iyo isku darka nooca khaldan, si loo aqoonsado jeegaga maqan ee qiyamka aan waxba ahayn ee tilmaamayaasha iyo dhibaatooyinka xusuusta.
Nidaamku iskii ayuu wax u bartaa isagoo dhisaya qaab xisaabeed laga soo bilaabo koodka isha furan ee jira ee lagu daabacay GitHub iyo meelaha dadweynaha ee la midka ah. Marxaladda tababarka, nidaamku wuxuu go'aamiyaa qaababka caadiga ah in la dhiso qaab-dhismeedka code iyo in la dhiso geed syntactic of isku xirka u dhexeeya habyaaladan, ka tarjumaysa socodka fulinta code ee barnaamijka. Natiijo ahaan, geed go'aan tixraaceed ayaa la sameeyay, kaas oo isku daraya waayo-aragnimada horumarineed ee dhammaan qoraallada isha la falanqeeyay.
Si ControlFlag looga dhigo mid ay heli karaan bulsho weynta horumarinta software, Intel waxay ku faraxsan tahay inay ku dhawaaqdo in ControlFlag hadda yahay il furan oo laga heli karo https://github.com/IntelLabs/control-flag. Waxaan ku faraxsanahay inaan siino horumariyayaasha fursad ay ku horumariyaan oo ay arkaan waxa kale oo lagu samayn karo tignoolajiyadan aadka u qiimaha badan oo cusub.
Tan iyo markii la hirgeliyay, ControlFlag waxaa lagu tijaabiyay heerka-soo-saarka software-ka waxaana si ballaaran loo adeegsaday nidaamyada kombuyuutarrada isha furan. Tusaale ahaan, sannadkii hore, ControlFlag waxay aqoonsatay cillad kood ku jirta URL-ka macmiilka (cURL), mashruuc software kombuyuutar ah oo gudbiya xogta iyadoo la adeegsanayo borotokool kala duwan oo shabakadeed in ka badan XNUMX bilyan jeer maalintii. Kadib markii ay uga warbixiyeen cillada kooxda cURL, waxay ogolaadeen natiijooyinka ControlFlag oo ay dabadeed dhejiyeen koodkooda.
Nidaam la mid ah oo lagu qeexo qaababka ayaa loo sameeyaa koodka imtixaanka ku jira, oo la barbar dhigo geed go'aan tixraaceed. Kala duwanaansho weyn oo laamo ku dhow ayaa muujinaya cillad ku jirta qaabka la xaqiijiyay. Nidaamku wuxuu sidoo kale u oggolaanayaa ma aha oo kaliya in la aqoonsado qaladka template, laakiin sidoo kale inuu soo jeediyo xal. Tusaale ahaan, marka la kala saarayo godadka koodka "haddii (x = 7) y = x;" nidaamku wuxuu go'aamiyay in dhismaha "lambarka == bedbeddeli karo" guud ahaan loo isticmaalo bayaanka "haddii" si loo barbardhigo qiimaha tirooyinka, markaa tilmaanta "variable = number" ee ku jirta bayaanka "haddii" ay u badan tahay inay sababtay qalad qoraal ah.
Falanqeeyayaasha dhaqameed ee caadiga ah waxay ogaan karaan khaladka noocaas ah, laakiin, si ka duwan iyaga, ControlFlag ma dabaqo xeerarka ka baxsan sanduuqa, taas oo ay adag tahay in la saadaaliyo dhammaan fursadaha suurtogalka ah, laakiin waxay ka bilaabataa tirakoobka isticmaalka dhammaan noocyada kala duwan. oo ah dhismayaal tiro badan oo mashaariic ah.
Tijaabo ahaan, markaad isticmaalayso ControlFlag ee koodhka isha ee utility cURL, in badan ayaa tusaale loo soo qaatay kood la xaqiijiyay, tayo sare leh, falanqeeyayaasha taagan ayaa shaaca ka qaaday bug aan ku talagal ahayn markii la isticmaalayo qaab-dhismeedka "s-> keepon", kaas oo lahaa nooc nambaro ah, balse la barbar dhigay qiimaha boolean ee TRUE.
Koodhka OpenSSL, marka lagu daro dhibaatada kor lagu sheegay "(s1 == NULL) ∧ (s2 == NULL)", cillado ayaa sidoo kale lagu arkay tibaaxaha "(-2 == rv)" oo ahaa ugu yaraan a typo
Waxa kale oo la sheegay in isticmaalka ControlFlag ay suurtogalisay in la ogaado dhowr boqol oo cayayaan ah oo ku jira software-yada gaarka ah ee aan gaarka ahayn, taasoo keentay shilalka iyo dhibaatooyinka xusuusta.
Finalmente hadaad xiisaynayso inaad waxbadan ka ogaato, waad hubin kartaa faahfaahinta Xiriirka soo socda. Xagga kuwa danaynaya inay awoodaan inay arkaan koodhka isha, helaan ama ku xidhaan kaydka, waxay sidaas ku samayn karaan xiriirka soo socda.