შემოწმებული პითონის საცავების 3.6%-ს მძიმით გამოტოვებული შეცდომები ჰქონდა

გამოქვეყნდა კვლევის შედეგები პითონის კოდის დაუცველობაზე კოდში მძიმეების არასწორ გამოყენებასთან დაკავშირებულ შეცდომებზე. პრობლემები გამოწვეულია იმით, რომ ჩამოთვლისას პითონი ავტომატურად აერთიანებს სიაში სტრიქონებს, თუ ისინი არ არის გამოყოფილი მძიმით და ასევე განიხილავს მნიშვნელობას, როგორც ტოპს, თუ მნიშვნელობას მოსდევს მძიმე. პითონის კოდით 666 GitHub საცავების ავტომატური ანალიზის ჩატარების შემდეგ, მკვლევარებმა გამოავლინეს მძიმით შესაძლო პრობლემები შესწავლილი პროექტების 5%-ში.

შემდგომმა ხელით შემოწმებამ აჩვენა, რომ რეალური შეცდომები იყო მხოლოდ 24 საცავში (3.6%), ხოლო დანარჩენი 1.4% იყო ცრუ დადებითი (მაგალითად, მძიმით შეიძლება განზრახ გამოტოვოთ ხაზებს შორის მრავალ სტრიქონიანი ფაილის ბილიკები, გრძელი ჰეშები, HTML. ბლოკები ან SQL გამონათქვამები). აღსანიშნავია, რომ რეალური შეცდომების მქონე 24 საცავში იყო ისეთი დიდი პროექტები, როგორიცაა Tensorflow, Google V8, Sentry, Pydata xarray, rapidpro, django-colorfield და django-helpdesk. თუმცა, მძიმეებით პრობლემები არ არის სპეციფიკური Python-ისთვის და ხშირად ჩნდება C/C++ პროექტებში (ბოლო შესწორებების მაგალითებია LLVM, Mono, Tensorflow).

შესწავლილი შეცდომების ძირითადი ტიპები:

• შემთხვევით გამოტოვებული მძიმით სიებში, ტოპებსა და კომპლექტებში, რაც იწვევს სტრიქონების შეერთებას ცალკე მნიშვნელობებად ინტერპრეტაციის ნაცვლად. მაგალითად, Sentry-ში ერთ-ერთმა ტესტმა გამოტოვა მძიმით სტრიქონებს შორის "releases" და "discover" სიაში, რის შედეგადაც მოხდა არარსებული "/releasesdiscover" დამმუშავებლის ტესტირება, ნაცვლად "/releases" და ""-ის შემოწმებისა. /აღმოაჩინე" ცალკე.

  კიდევ ერთი მაგალითი არის ის, რომ rapidpro-ში გამოტოვებულმა მძიმმა გამოიწვია ორი განსხვავებული წესის გაერთიანება სტრიქონზე 572:

  

• მძიმით გამოტოვებული ერთელემენტიანი tuple განმარტების ბოლოს, რის გამოც დავალება მინიჭება რეგულარული ტიპის ვიდრე tuple. მაგალითად, გამოთქმა "მნიშვნელობები = (1,)" გამოიწვევს მინიჭებას ერთი ელემენტის ტოპის ცვლადზე, მაგრამ "მნიშვნელობები = (1)" გამოიწვევს მთელი რიცხვის ტიპის მინიჭებას. ამ დავალებების ფრჩხილები გავლენას არ ახდენს ტიპის განსაზღვრებაზე და არჩევითია, ხოლო ტუპლის არსებობა განისაზღვრება პარსერის მიერ მხოლოდ მძიმეების არსებობის საფუძველზე. REST_FRAMEWORK = { 'DEFAULT_PERMISSION_CLASSES': ('rest_framework.permissions.IsAuthenticated' # მიენიჭება სტრიქონი ტოპის ნაცვლად. ) }
• საპირისპირო სიტუაციაა დამატებითი მძიმეები დავალების დროს. თუ მძიმით შემთხვევით დატოვა დავალების ბოლოს, მნიშვნელობის ნაცვლად ნორმალური ტიპის ნაცვლად მიენიჭება ტუპლი (მაგალითად, თუ "მნიშვნელობა = 1" მითითებულია "მნიშვნელობის = 1"-ის ნაცვლად).

წყარო: opennet.ru