350
кезеңін іздеуге негізделген. Қорғалатын бағдарламада нəтиже-
сіне қарай шешім қабылданатын белгілі бір шартты тексеру орын-
далатын болсын. Əдетте, бұл тексеріс
шартты көшу бұйрығы
арқылы жүзеге асырылады. Қаскүнем осындай тексерістің бі-
реуін тапты делік, бірақ берілген шартпен жұмыс істелінетін
орта сипаттамасын орнату жəне салыстыру
блоктарына қатынасу
мүмкіндіктерінің барлығы табылды деген сенім онда жоқ.
Кодты тапқанан кейін қаскүнемде белгілі бір шартты тек-
серудің мақсатқа сəйкестігіне күдік туады, дизассемблирлен-
ген мəтіннің мүдделі бұйрықтарын егжей- тегжейлі зерделеу
жүргізіледі. Мысалы,
кодтың фрагменті, оның қызығушылығын
туғызуы мүмкін:
Достарыңызбен бөлісу: