Intel yakaburitsa kuburitswa kweControlFlag 1.2, chishandiso chinokutendera kuti uone zvikanganiso uye anomalies mune sosi kodhi uchishandisa muchina kudzidza sisitimu yakadzidziswa pane yakakura kodhi iripo. Kusiyana nechinyakare static analyzers, ControlFlag haishandisi yakagadzirira-yakagadzirwa mitemo, iyo yakaoma kupa kune zvese zvingasarudzwa zvingasarudzwa, asi inobva pahuwandu hwekushandiswa kwemitauro yakasiyana-siyana inovaka muhuwandu hwezvirongwa zviripo. Iyo ControlFlag kodhi yakanyorwa muC ++ uye yakavhurika yakavhurika pasi peMIT rezinesi.
Kuburitswa kutsva uku kwakakosha pakuitwa kwerutsigiro rwakazara rwekuonekwa uye kudzidza kusinganzwisisike zvichibva pamakodhi akajairika emutauro weC++. Mushanduro dzakapfuura, rutsigiro rwakafanana rwakapihwa C uye PHP mitauro. Iyo sisitimu yakanakira kuona akasiyana marudzi ematambudziko mukodhi, kubva pakuona typos uye mhando mismatches, kusvika pakuona anomalies mukati kana zvirevo uye kushaikwa NULL cheki mune zvinongedzo. Iyo sisitimu inodzidziswa nekuvaka nhamba yemhando yeiyo iripo kodhi dhairekitori yeakavhurika sosi mapurojekiti muC, C ++ uye PHP, yakaburitswa muGitHub uye yakafanana neruzhinji repositori.
Padanho rekudzidzira, sisitimu inotarisisa maitiro akajairika ekuvaka zvimiro mukodhi uye inovaka muti we syntactic wekubatanidza pakati peaya mapatani, ichiratidza kuyerera kwekodhi kuuraya muchirongwa. Nekuda kweizvozvo, muti wekuita sarudzo unoumbwa unosanganisa ruzivo rwekusimudzira rwese akaongororwa masosi macode. Iyo kodhi iri kuongororwa inoenda nenzira yakafanana yekuziva mapatani anotariswa pakatarisana nemuti wesarudzo. Kusawirirana kukuru nemapazi akavakidzana kunoratidza kuvapo kweanomaly patani iri kuongororwa.
Source: opennet.ru