Amaliy ish 1 Mavzu: Loyixaviy takliflar va jamoalar. Biznes ilovalarni ulashish buyicha misollar. Ishdan maqsad: topshiriq

Zamonaviy kompilyatorlar

Bu kulgili tuyulishi mumkin, ammo eng samaralilaridan biri analizatorlar
kod kompilyatorlarning o'zlari. Albatta, ular uchun mo'ljallangan
boshqa, lekin bonus sifatida ularning har biri yaxshi tekshirgichni taklif qiladi
ko'p sonli xatolarni aniqlashga qodir manba kodi. Nega yo'q
saqlaydi? Dastlab, bunday kodni tekshirish uchun sozlamalar etarli darajada o'rnatiladi
sodiq: natijada dasturchini chalkashtirib yubormaslik uchun kompilyator ishga tushadi
faqat eng jiddiy jamblar taqdirda qasam ichish. Lekin behuda - agar siz qo'ysangiz
ogohlantirishlar darajasi yuqoriroq, juda ko'p shubhali joylarni qazish mumkin
kodda. Bu shunday ko'rinadi. Aytaylik, kodda yo'qlik bor
buferga nusxalashdan oldin satr uzunligini tekshirish. Skaner funksiya topadi
satrni (yoki uning qismini) qat'iy o'lchamli buferga nusxalash
uning uzunligini dastlabki tekshirish. U uzatish yo'lini kuzatadi
argumentlar: kiritishdan zaif funksiya va ko'rinishgacha: mumkinmi
zaiflikda toshib ketishiga olib keladigan qator uzunligini tanlang
funktsiyasi va undan oldingi tekshiruvlar bilan uzilmaydi. Bunday holatda
hech qanday tekshiruv yo'q, biz deyarli 100% bufer toshib ketishini topamiz. Asosiy qiyinchilik
kompilyatorni tekshirish uchun foydalaning - uni boshqa birovning kodini "yutishga" majburlash.
Agar siz biron bir manbadan ariza tuzmoqchi bo'lsangiz, bilasiz
barcha qaramlikni qondirish qanchalik qiyin, ayniqsa yirik loyihalarda. Lekin
natija bunga arziydi! Bundan tashqari, kompilyatorga qo'shimcha ravishda kuchli IDE-lar ham o'rnatilgan
boshqa vositalar kod tahlili. Masalan, keyingi
Visual Studio'da kodning bo'limida foydalanish haqida ogohlantirish beradi
_alloca funktsiyasining tsikli, bu stekni tezda to'ldirishi mumkin:
char*b;
qil(
b = (char*)_alloca(9)
) while(1)
Bu PREfast statik analizatorining afzalligi. FxCop kabi,
PREfast dastlab boshqariladigan kodni tahlil qilish uchun mo'ljallangan
alohida yordamchi dastur sifatida tarqatildi va keyinroq Visual Studio tarkibiga kirdi.