Fan: Statik tahlil (6 kredit)

tizimning bajarilishi
, ko'pincha asboblardan foydalanish.
Dinamik dastur tahlili - bu dasturiy ta'minotdan haqiqiy yoki
virtual protsessorda qurilgan dasturlarni bajarish bilan amalga
oshiriladigan
kompyuter
dasturlarini
tahlil
qilish
(dasturlarni
bajarmasdan amalga oshiriladigan tahlil statik kod tahlili deb
nomlanadi).
Dasturni dinamik tahlil qilish vositalari maxsus kutubxonalarni
yuklashni yoki hatto dastur kodlarini qayta kompilyatsiya qilishni talab
qilishi mumkin.
Eng keng tarqalgan dinamik tahlil amaliyoti - bu koddagi xatolarni
topish uchun kodga qarshi birlamchi testlarni bajarish.

---

Kodni dinamik tahlil qilishning afzalliklari:

Bu ish vaqti muhitidagi zaifliklarni aniqlaydi.

Haqiqiy kodga kirish imkoni bo'lmagan ilovalarni tahlil qilishga imkon
beradi.

Bu statik kod tahlilida noto'g'ri salbiy bo'lishi mumkin bo'lgan zaifliklarni
aniqlaydi.

Bu sizga statik kodni tahlil qilish natijalarini tasdiqlashga imkon beradi.

U har qanday dasturga qarshi o'tkazilishi mumkin.

---

Dinamik kod tahlilining cheklovlari:

Avtomatlashtirilgan vositalar, hamma narsa hal qilinayotgani
to'g'risida noto'g'ri ma'lumot beradi.

Manba kodining to'liq sinov qamroviga kafolat berolmaydi.

Avtomatlashtirilgan vositalar noto'g'ri ijobiy va noto'g'ri negativlarni
ishlab chiqaradi.

Avtomatlashtirilgan vositalar faqat skanerlashda foydalanadigan
qoidalar kabi yaxshi.

Muammoni hal qilish uchun ko'proq vaqt talab qilinib, kodning aniq
joyiga qarab zaiflikni aniqlash qiyinroq.

---