Intel ya saki sakewa da gagarumin sigar Sarrafa Tutar 1.0, wanda shine a tsarin sarrafa software Wannan damar gano kurakurai da rashin daidaituwa a cikin lambar ku tushen amfani da tsarin koyo na inji wanda aka horar akan adadi mai yawa na lambar data kasance.
Ba kamar na gargajiya static analyzers, ControlFlag baya amfani da ƙayyadaddun ƙa'idodi, wanda yana da wahala a hango duk zaɓuɓɓukan da za a iya gani, amma a maimakon haka wani ɓangare na kididdigar amfani da kowane nau'in gine-gine harshe a cikin babban adadin ayyukan da ake da su.
Dangane da bincike, ganowa da cire kwari a cikin lambar yawanci ana yin su da hannu kuma yana ɗaukar fiye da 50% na lokacin aikin masu haɓakawa.
Kayan aikin yana koyon yadda ake ganowa da yiwa waɗannan zaɓuɓɓukan salo, kuma zaku iya keɓance gano kwaro da gyara shawarwari dangane da ilimin ku, rage girman madaidaicin lambar lambar ControlFlag wanda zai iya zama kawai sabani mai salo tsakanin ƙungiyoyi biyu na masu haɓakawa. .
Game da ControlFlag
Tsarin an horar da shi ta hanyar gina ƙirar ƙididdiga daga matrix code tushen data kasance bude aka buga akan GitHub da makamantan ma'ajiyar jama'a. A cikin matakin horarwa, tsarin yana ƙayyade samfura na yau da kullun don gina sifofi a cikin lambar kuma ya gina bishiyar haɗin gwiwa tsakanin waɗannan samfuran, yana nuna kwararar aiwatar da code a cikin shirin.
A sakamakon haka, an kafa bishiyar yanke shawara, wanda ya haɗu da ƙwarewar ci gaba na duk rubutun tushen da aka bincika. Ana yin irin wannan tsari na ma'anar alamu don lambar da ke ƙarƙashin gwaji, wanda aka kwatanta da bishiyar yanke shawara. Babban bambance-bambance tare da rassan da ke kusa suna nuna rashin daidaituwa a cikin tsarin da ake tantancewa.
Na halaye Na sigar ControlFlag 1.0, cikakken goyon baya ga samfuran C da aka haskaka da ikon ganowa anomalies a cikin sharuddan "idan" kalamai.
Misali, lokacin da ake tantance snippet lambar "idan (x = 7) y = x;" tsarin zai gano cewa ana amfani da ginin "mai canzawa == lamba" gabaɗaya a cikin bayanin "idan" don kwatanta ƙimar lambobi, don haka alamar "mai canzawa = lamba" a cikin bayanin "idan" mai yiwuwa kuskuren rubutu ne ya haifar da shi.
Kit ɗin yana ba da rubutun da ke ba da damar zazzage ma'ajiyar C da ake samu akan GitHub kuma amfani da su don gina samfuri. Hakanan akwai samfuran shirye-shiryen tafiya, suna ba ku damar fara duba lambar ku nan take
Tsarin wani bangare ne na aikin Bincike na Shirye-shiryen Injin (MPR) daga Intel, wanda babban burinsa shine rage lokacin da ake buƙata don haɓaka software da sau 1000 saboda sarrafa kansa.
Musamman, Intel a halin yanzu yana aiki don horar da Controlflag don gyara kurakurai da aka gano ta atomatik. Hakanan a cikin 2020, kamfanin ya fito da kayan aikin MISIM, wanda aka haɓaka tare da haɗin gwiwar MIT labs, wanda zai iya yin nazarin snippets code don fahimtar abin da wani yanki ke ƙoƙarin yi. An yi niyyar amfani da tsarin ne don samarwa masu haɓaka hanyoyin inganta ingantaccen lambar.
"Ana sa ran yin gyara zai iya haifar da illa ga masu haɓakawa da masana'antar gaba ɗaya," in ji Intel. Sanarwa… "Lokacin da aka aiwatar da shi gabaɗaya, ControlFlag na iya taimakawa wajen rage wannan ƙalubalen ta hanyar sarrafa matsalar ci gaban software kamar gwaji, saka idanu da gyarawa."
"Babban fa'idar tsarin kula da ControlFlag don sanin ƙirar shine cewa zaku iya koyan da gaske don dacewa da salon mai haɓakawa. Domin shirin yana da iyakataccen shigarwa ga kayan aikin sarrafawa da kuke buƙatar kimantawa. ControlFlag na iya gano bambance-bambancen rubutu a cikin harsunan shirye-shirye kamar yadda masu karatu za su iya gane cikakken bambance-bambance tsakanin kalmomi da amfani da gajarta Turanci, "in ji Intel.
Finalmente idan kuna sha'awar ƙarin sani game da shi Game da ControlFlag, ya kamata ku san cewa an rubuta shi a cikin C ++ kuma bude tushe ne a ƙarƙashin lasisin MIT da lambar sa. An shirya shi akan GitHub.