Intel yakaburitsa kuburitsa yakakosha vhezheni ye ControlFlag 1.0, inova a software control system iyo inobvumira tsvaga zvikanganiso uye anomalies mukodhi yako sosi uchishandisa muchina kudzidza sisitimu yakadzidziswa pane yakakura kodhi iripo.
Kusiyana nechinyakare static analyzers, ControlFlag haishandisi mitemo yakafanotaurwa, umo zvakaoma kufanoona zvese zvinogoneka sarudzo, asi pane kudaro chikamu chehuwandu hwekushandiswa kwemarudzi ese ezvivakwa mutauro munhamba huru yezvirongwa zviripo.
Zvinoenderana netsvagiridzo, kutsvaga nekubvisa tsikidzi mukodhi kunowanzoitwa nemaoko uye zvinotora kupfuura 50% yenguva yebasa revagadziri.
Chishandiso chinodzidza maziviro nekuisa mazita aya emhando dzesarudzo uye iwe unogona kugadzirisa chiziviso chebug uye kugadzirisa kurudziro zvichienderana neruzivo rwako, kuderedza ControlFlag yakashata kodhi mavara ayo angangove ari stylistic kutsauka pakati pezvikwata zviviri zvevagadziri.
About ControlFlag
Iyo system inodzidziswa nekuvaka nhamba yemuenzaniso kubva kune iripo source code matrix yakavhurwa yakadhindwa paGitHub uye yakafanana neruzhinji repositori. Muchikamu chekudzidzisa, sisitimu inosarudza matemplate ekuvaka zvimiro mukodhi uye inovaka muti we syntactic wekubatanidza pakati peaya matemplate, ichiratidza kuyerera kwekodhi kuuraya muchirongwa.
Nekuda kweizvozvo, muti wesarudzo wereferensi unoumbwa, uchibatanidza ruzivo rwekusimudzira rwese akaongororwa masosi zvinyorwa. Iyo yakafanana-pattern-setting process inoitwa kune iyo kodhi iri pasi pekuyedzwa, iyo inofananidzwa nereferenzi sarudzo yemuti. Kusawirirana kukuru nemapazi ari pedyo kunoratidza kusanzwisisika patani iri kusimbiswa.
Zve hunhu Yeiyo vhezheni KudzoraFlag 1.0, kutsigirwa kwakazara kweC matemplate kunosimbiswa uye kugona kuziva anomalies muzvirevo zve "kana".
Semuyenzaniso, pakuparura chidimbu chekodhi "kana (x = 7) y = x;" iyo system ichaona kuti "variable == number" inovaka inowanzo shandiswa muchirevo che "kana" kuenzanisa nhamba dzenhamba, saka "variable = nhamba" chiratidzo mu "kana" chirevo chinogona kukonzerwa nekukanganisa kwekunyora.
Iyo kit inopa script inobvumira kurodha C repositories inowanikwa paGitHub uye vashandise kugadzira modhi. Yakagadzirira-kuenda-modhi inowanikwawo, ichikutendera iwe kuti utange kutarisa kodhi ipapo ipapo
Iyo system chikamu cheMachine Programming Research project (MPR) kubva kuIntel, ine chinangwa chikuru kudzikisa nguva inodiwa pakuvandudzwa kwesoftware ne1000 nguva nekuda kweautomation.
Kunyanya, Intel parizvino iri kushanda kudzidzisa Controlflag kugadzirisa otomatiki zvikanganiso zvakaonekwa. Zvakare muna 2020, kambani yakaburitsa chishandiso cheMISM, chakagadzirwa chakabatana neMIT labs, iyo inogona kudzidza macode snippets kuti inzwisise kuti chidimbu chekodhi chinoda kuitei. Iyo sisitimu inoitirwa kuti ishandiswe kupa vanogadzira nzira dzekuvandudza kugona kwekodhi.
"Debugging inotarisirwa kukonzera kukuvadza kwakawanda kune vanogadzira uye indasitiri yacho yese," Intel akadaro. Chiziviso… "Kana yaitwa zvizere, ControlFlag inogona kubatsira kudzikisira dambudziko iri nekuita otomatiki dambudziko rekuvandudza software sekuyedza, kutarisa uye kugadzirisa."
"Mukana mukuru weControlFlag isingatarisirwe maitiro ekuzivikanwa kwepateni ndeyekuti iwe unogona chaizvo kudzidza kujairana nechimiro chemugadziri. Nekuti chirongwa chine mashoma ekuisa kune ekudzora maturusi aunoda kuongorora. ControlFlag inogona kuona typographic mutsauko mumitauro yekuronga nenzira imwechete iyo vaverengi vanogona kuona misiyano yakakwana pakati pemazwi uye kushandisa zvipfupiso zveChirungu, ”anonyora Intel.
Finalmente kana iwe uchifarira kuziva zvakawanda nezvazvo Nezve KudzoraFlag, iwe unofanirwa kuziva kuti yakanyorwa muC ++ uye yakavhurika sosi pasi peMIT rezinesi nekodhi yayo. inotambirwa paGitHub.