Intel ya wallafa sakin ControlFlag 1.2, kayan aiki wanda ke ba ku damar gano kurakurai da rashin daidaituwa a cikin lambar tushe ta amfani da tsarin koyon injin da aka horar akan adadi mai yawa na lambar data kasance. Ba kamar na gargajiya static analyzers, ControlFlag ba ya amfani da shirye-sanya dokoki, a cikin abin da yana da wuya a samar da duk yiwu zažužžukan, amma dogara a kan statistics a kan amfani da daban-daban harsuna ginawa a cikin wani babban adadin data kasance ayyuka. An rubuta lambar ControlFlag a cikin C++ kuma an buɗe ta a ƙarƙashin lasisin MIT.
Sabuwar sakin sanannen sanannen abu ne don aiwatar da cikakken goyan baya don gano ɓarna da ilmantarwa bisa tsarin lambobi gama gari don yaren C++. A cikin sigogin da suka gabata, an bayar da irin wannan tallafi don C da PHP. Tsarin ya dace don gano nau'ikan matsaloli daban-daban a cikin lamba, daga gano rubutattun rubutu da nau'in rashin daidaituwa, zuwa gano abubuwan da ba su da kyau a cikin idan bayanan da ɓacewar NULL cak a cikin masu nuni. An horar da tsarin ta hanyar gina ƙirar ƙididdiga na tsarin lambar da ke akwai na ayyukan buɗaɗɗen tushe a cikin C, C++ da PHP, waɗanda aka buga a GitHub da makamantan wuraren ajiyar jama'a.
A matakin horo, tsarin yana ƙayyade alamu na yau da kullun don gina sifofi a cikin lambar kuma ya gina bishiyar haɗin gwiwa tsakanin waɗannan alamu, 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 lambobin tushe da aka bincika. Lambar da ake dubawa tana aiwatar da irin wannan tsari na gano alamu waɗanda aka bincika akan bishiyar yanke shawara. Babban bambance-bambance tare da rassan makwabta suna nuna kasancewar anomaly a cikin tsarin da ake bincika.
source: budenet.ru