ControlFlag 1.0-ის გამოშვება, ინსტრუმენტი C კოდში შეცდომების იდენტიფიცირებისთვის

Intel-მა გამოაქვეყნა ControlFlag 1.0 ინსტრუმენტის პირველი ძირითადი გამოშვება, რომელიც საშუალებას გაძლევთ ამოიცნოთ შეცდომები და ანომალიები წყაროს კოდში მანქანური სწავლების სისტემის გამოყენებით, რომელიც გაწვრთნილი იყო არსებული კოდის დიდ რაოდენობაზე. ტრადიციული სტატიკური ანალიზატორებისგან განსხვავებით, ControlFlag არ იყენებს მზა წესებს, რომლებშიც ძნელია ყველა შესაძლო ვარიანტის უზრუნველყოფა, მაგრამ ეფუძნება სტატისტიკას სხვადასხვა ენობრივი კონსტრუქციების გამოყენების შესახებ არსებული პროექტების დიდ რაოდენობაში. ControlFlag კოდი დაწერილია C++-ში და ღიაა MIT ლიცენზიით.

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

როგორც ControlFlag-ის შესაძლებლობების მაგალითი, დეველოპერებმა გაანალიზეს 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.

ControlFlag 1.0 ვერსიის მახასიათებლებს შორის არის სრული მხარდაჭერა სტანდარტული შაბლონებისთვის C ენისთვის და პირობითი "თუ" გამონათქვამებში ანომალიების გამოვლენის შესაძლებლობა. მაგალითად, კოდის ფრაგმენტის გაანალიზებისას "თუ (x = 7) y = x;" სისტემა განსაზღვრავს, რომ "if" დებულება ჩვეულებრივ იყენებს "ცვლადი == ნომერი" კონსტრუქციას რიცხვითი მნიშვნელობების შესადარებლად, ამიტომ დიდი ალბათობით, "ცვლადი = რიცხვი" გამოსახულებაში "if" გამოწვეულია ბეჭდვითი შეცდომით. ნაკრები მოიცავს სკრიპტს, რომელიც საშუალებას გაძლევთ ჩამოტვირთოთ არსებული C ენის საცავი GitHub-ზე და გამოიყენოთ ისინი მოდელის შესაქმნელად. ასევე ხელმისაწვდომია მზა მოდელები, რაც საშუალებას გაძლევთ დაუყოვნებლივ დაიწყოთ კოდის შემოწმება.

წყარო: opennet.ru