Sharifjanova Nilufar Muratjanovna Nima haqida gaplashamiz

Statik kod analizatori nimani qidiradi?

Shartli ravishda, u yoki bu tarzda tajovuzkorlarni va shuning uchun auditorlarni qiziqtiradigan nuqsonlarni quyidagi guruhlarga bo'lish mumkin:

• tasdiqlash xatolari,
• axborot tarqalishi xatolari,
• autentifikatsiya xatolari.

Tasdiqlash xatolari

Tasdiqlash xatolari kirish ma'lumotlari to'g'riligi uchun to'liq tekshirilmaganligi natijasida yuzaga keladi. Tajovuzkor dastur kutgan narsani kirish sifatida umuman o'tkazib yuborishi va shu bilan boshqaruvga ruxsatsiz kirish huquqiga ega bo'lishi mumkin. Ma'lumotlarni tasdiqlashning eng mashhur xatolari injections va XSS. Haqiqiy ma'lumotlar o'rniga, tajovuzkor dasturga kirish uchun kichik dasturni olib yuradigan maxsus tayyorlangan ma'lumotlarni taqdim etadi. Ushbu dastur qayta ishlashga to'g'ri keladi. Uni amalga oshirish natijasi boshqaruvni boshqa dasturga o'tkazish, ma'lumotlarga zarar etkazish va boshqa ko'p narsalar bo'lishi mumkin

Axborot tarqalishi xatolari

Bu ishlov berish natijasida foydalanuvchidan olingan ma'lumotlar ushlanib, tajovuzkorga etkazilganligi bilan bog'liq xatolar. Buning aksi bo'lishi mumkin: tizimda saqlanadigan ma'lumotlar, uning foydalanuvchi tomon harakatlanishi jarayonida ushlanib qoladi va tajovuzkorga uzatiladi. Bunday zaifliklarni tekshirish xatolar kabi aniqlash qiyin. Ushbu turdagi xatolarni aniqlash dastur kodi bo'ylab ma'lumotlarni targ'ib qilish va o'zgartirish statikasida kuzatishni talab qiladi.

Autentifikatsiya xatolari

Autentifikatsiya xatolari tajovuzkor uchun eng qiziqarli xatolardir, chunki ularni aniqlash qiyin, chunki ular tarkibiy qismlarning birlashmasida paydo bo'ladi va ularni rasmiylashtirish qiyin.Hujumchilar kirish huquqlarini oshirish uchun bunday xatolardan foydalanadilar. Autentifikatsiya xatolari avtomatik ravishda aniqlanmaydi, chunki nimani izlash kerakligi aniq emas — bu dasturni yaratish mantig'idagi xatolar.

Pychecker
Pylint

Xulosa

Yuqoridagilarni xulosa qilib shuni ta'kidlash kerakki, statik analizator, agar u to'g'ri ishlatilsa, rivojlanish jarayonida foydalidir. Ish paytida siz undan nimani kutish kerakligini va statik analizator printsipial ravishda aniqlay olmaydigan nuqsonlar bilan qanday munosabatda bo'lishni tushunishingiz kerak.