3,6% testitud Python-repositooriumidest tuvastati vigu, mis on seotud puuduvate koma(de)ga

Avaldatud on uuringu tulemused, kus uuriti Python-koodi alti vigu, mis on seotud komade vale kasutamisega koodis. Probleemid on tingitud sellest, et Python ühendab loendis olevad read automaatselt, kui need ei ole komaga eraldatud, samuti käsitletakse väärtust tuple'ina, kui väärtusele järgneb koma. Tehase automatiseeritud analüüs 666 GitHubi Python-koodiga repositooriumi üle on tuvastanud võimalikke koma probleeme 5% uuritud projektidest.

Edasine käsitsi kontroll näitas, et tegelikud vead esinevad ainult 24 repositooriumis (3,6%), samas kui ülejäänud 1,4% on valehäired (näiteks võis koma olla tahtlikult vahele jäetud ridade vahel, et ühendada mitmele reale jaotatud failiteede, pika koodilõigu, HTML-bloki või SQL-lause väärtused). Oluline on, et nende 24 repositooriumi hulgas, kus on tegelikud vead, on sellised suured projektid nagu Tensorflow, Google V8, Sentry, Pydata xarray, rapidpro, django-colorfield ja django-helpdesk. Samuti ei ole komadega seotud probleemid spetsiifilised Pythonile ja sageli ilmnevad need C/C++ projektides (hiljutised parandused — LLVM, Mono, Tensorflow).

Uuritud vigade peamised tüübid:

• Kaasatud koma, mis on kogudes, tuple'ides ja loendites intuitsiooniks, mille tagajärjel ühendatakse read ja neid ei tõlgendata eraldi väärtustena. Näiteks Sentry's oli ühes testis kahe rea vahel «releases» ja «discover» vahele jäetud koma loendis, mis tõi kaasa mitteeksisteeriva käitleja «/releasesdiscover» kontrollimise asemel eraldiseisva kontrollimise «/releases» ja «/discover».

  Teine näide — koma vahelejätmine rapidpro's viis kahe erineva reegli ühendamiseni real 572:

  
• Puuduv koma ühekohalise tupikmäe määratlemise lõpus, mis toob kaasa selle, et määramise käigus antakse tavaline tüüp tupikmäe asemel. Näiteks väljend "values = (1,)" toob kaasa ühekohalise tupikmäe määramise, kuid "values = (1)" toob kaasa täisarvu tüübi määramise. Klambrid nimetatud määramistes ei mõjuta tüübi määratlemist ja on valikulised, tupikmäe olemasolu määrab parser ainult koma olemasolu alusel. REST_FRAMEWORK = { ‘DEFAULT_PERMISSION_CLASSES’: ( ‘rest_framework.permissions.IsAuthenticated’ # tavalise tüübi asemel määratakse string. ) }
• Vastupidine olukord — liigsed komad määramise korral. Kui määramise lõpus on kogemata koma jäetud, siis määratakse väärtusena tupikmäe asemel tavaline tüüp (näiteks, kui "value = 1" asemel on märgitud "value = 1,").

Allikas: opennet.ru