C കോഡിലെ പിശകുകൾ തിരിച്ചറിയുന്നതിനുള്ള ഉപകരണമായ കൺട്രോൾഫ്ലാഗ് 1.0-ന്റെ പ്രകാശനം

കൺട്രോൾ ഫ്ലാഗ് 1.0 ടൂളിന്റെ ആദ്യ പ്രധാന പതിപ്പ് ഇന്റൽ പ്രസിദ്ധീകരിച്ചു, ഇത് നിലവിലുള്ള കോഡുകളുടെ വലിയ അളവിൽ പരിശീലിപ്പിച്ച ഒരു മെഷീൻ ലേണിംഗ് സിസ്റ്റം ഉപയോഗിച്ച് സോഴ്‌സ് കോഡിലെ പിശകുകളും അപാകതകളും തിരിച്ചറിയാൻ നിങ്ങളെ അനുവദിക്കുന്നു. പരമ്പരാഗത സ്റ്റാറ്റിക് അനലൈസറുകളിൽ നിന്ന് വ്യത്യസ്തമായി, കൺട്രോൾ ഫ്ലാഗ് റെഡിമെയ്ഡ് നിയമങ്ങൾ പ്രയോഗിക്കുന്നില്ല, അതിൽ സാധ്യമായ എല്ലാ ഓപ്ഷനുകളും നൽകുന്നത് ബുദ്ധിമുട്ടാണ്, എന്നാൽ നിലവിലുള്ള ധാരാളം പ്രോജക്റ്റുകളിൽ വിവിധ ഭാഷാ നിർമ്മാണങ്ങളുടെ ഉപയോഗത്തെക്കുറിച്ചുള്ള സ്ഥിതിവിവരക്കണക്കുകളെ അടിസ്ഥാനമാക്കിയുള്ളതാണ്. കൺട്രോൾ ഫ്ലാഗ് കോഡ് C++ ൽ എഴുതിയിരിക്കുന്നു, കൂടാതെ MIT ലൈസൻസിന് കീഴിലുള്ള ഓപ്പൺ സോഴ്‌സ് ആണ്.

GitHub-ലും സമാനമായ പൊതു ശേഖരണങ്ങളിലും പ്രസിദ്ധീകരിച്ച ഓപ്പൺ സോഴ്‌സ് പ്രോജക്റ്റുകളുടെ നിലവിലുള്ള കോഡ് ശ്രേണിയുടെ ഒരു സ്റ്റാറ്റിസ്റ്റിക്കൽ മോഡൽ നിർമ്മിച്ചാണ് ഈ സിസ്റ്റം പരിശീലിപ്പിക്കുന്നത്. പരിശീലന ഘട്ടത്തിൽ, കോഡിലെ ഘടനകൾ നിർമ്മിക്കുന്നതിനുള്ള സാധാരണ പാറ്റേണുകൾ സിസ്റ്റം നിർണ്ണയിക്കുകയും ഈ പാറ്റേണുകൾക്കിടയിൽ കണക്ഷനുകളുടെ ഒരു വാക്യഘടന നിർമ്മിക്കുകയും ചെയ്യുന്നു, ഇത് പ്രോഗ്രാമിലെ കോഡ് എക്സിക്യൂഷന്റെ ഒഴുക്കിനെ പ്രതിഫലിപ്പിക്കുന്നു. തൽഫലമായി, വിശകലനം ചെയ്ത എല്ലാ സോഴ്‌സ് കോഡുകളുടെയും വികസന അനുഭവം സംയോജിപ്പിക്കുന്ന ഒരു റഫറൻസ് തീരുമാനമെടുക്കൽ ട്രീ രൂപീകരിക്കപ്പെടുന്നു. അവലോകനത്തിലുള്ള കോഡ് ഒരു റഫറൻസ് ഡിസിഷൻ ട്രീയിൽ പരിശോധിക്കുന്ന പാറ്റേണുകൾ തിരിച്ചറിയുന്നതിനുള്ള സമാനമായ ഒരു പ്രക്രിയയ്ക്ക് വിധേയമാകുന്നു. അയൽ ശാഖകളുമായുള്ള വലിയ പൊരുത്തക്കേടുകൾ പരിശോധിക്കുന്ന പാറ്റേണിലെ അപാകതയുടെ സാന്നിധ്യം സൂചിപ്പിക്കുന്നു.

കൺട്രോൾ ഫ്ലാഗിന്റെ കഴിവുകളുടെ ഒരു ഉദാഹരണമായി, ഡെവലപ്പർമാർ OpenSSL, cURL പ്രോജക്റ്റുകളുടെ സോഴ്സ് കോഡുകൾ വിശകലനം ചെയ്തു:

• അസാധാരണമായ നിർമ്മിതികൾ “(s1 == NULL) ∧ (s2 == NULL)”, “(s1 == NULL) | (s2 == NULL)" , ഇത് സാധാരണയായി ഉപയോഗിക്കുന്ന പാറ്റേണുമായി പൊരുത്തപ്പെടുന്നില്ല "(s1 == NULL) || (s2 == NULL)". കോഡ് “(-2 == rv)” (മൈനസ് ഒരു അക്ഷരത്തെറ്റായിരുന്നു), “BIO_puts(bp, “:”) <= 0)” (ഇതിന്റെ വിജയകരമായ പൂർത്തീകരണം പരിശോധിക്കുന്ന പശ്ചാത്തലത്തിൽ) എന്നിവയിലെ അപാകതകളും തിരിച്ചറിഞ്ഞു. ഫംഗ്‌ഷൻ അത് “== 0" ആയിരിക്കണം).
• CURL-ൽ, "s->keepon" എന്ന ഘടനാ ഘടകം ഉപയോഗിക്കുമ്പോൾ സ്റ്റാറ്റിക് അനലൈസറുകൾ കണ്ടെത്താത്ത ഒരു പിശക് കണ്ടെത്തി, അതിന് ഒരു സംഖ്യാ തരം ഉണ്ടായിരുന്നു, എന്നാൽ ബൂളിയൻ മൂല്യം TRUE മായി താരതമ്യം ചെയ്തു.

കൺട്രോൾഫ്ലാഗ് 1.0 പതിപ്പിന്റെ സവിശേഷതകളിൽ, സി ഭാഷയ്ക്കുള്ള സ്റ്റാൻഡേർഡ് ടെംപ്ലേറ്റുകൾക്ക് പൂർണ്ണ പിന്തുണയും സോപാധികമായ "if" എക്സ്പ്രഷനുകളിൽ അപാകതകൾ കണ്ടെത്താനുള്ള കഴിവും ഉണ്ട്. ഉദാഹരണത്തിന്, കോഡ് ശകലം വിശകലനം ചെയ്യുമ്പോൾ "if (x = 7) y = x;" സംഖ്യാ മൂല്യങ്ങൾ താരതമ്യം ചെയ്യാൻ "if" സ്റ്റേറ്റ്മെന്റ് സാധാരണയായി "വേരിയബിൾ == നമ്പർ" നിർമ്മാണം ഉപയോഗിക്കുന്നുവെന്ന് സിസ്റ്റം നിർണ്ണയിക്കും, അതിനാൽ "if" എക്സ്പ്രഷനിലെ "വേരിയബിൾ = നമ്പർ" അക്ഷരത്തെറ്റ് മൂലമാകാൻ സാധ്യതയുണ്ട്. GitHub-ൽ നിലവിലുള്ള C ഭാഷാ ശേഖരണങ്ങൾ ഡൗൺലോഡ് ചെയ്യാനും മോഡൽ നിർമ്മിക്കാൻ അവ ഉപയോഗിക്കാനും നിങ്ങളെ അനുവദിക്കുന്ന ഒരു സ്ക്രിപ്റ്റ് കിറ്റിൽ ഉൾപ്പെടുന്നു. റെഡിമെയ്ഡ് മോഡലുകളും ലഭ്യമാണ്, കോഡ് പരിശോധിക്കുന്നത് ഉടൻ ആരംഭിക്കാൻ നിങ്ങളെ അനുവദിക്കുന്നു.

അവലംബം: opennet.ru