WikiDer > Мәндер ауқымын талдау

Value range analysis

Жылы есептеу, соның ішінде құрастырушы құрылыс, құндылықтар ауқымын талдау түрі болып табылады деректер ағымын талдау бағдарламаның орындалуының әр нүктесінде сандық айнымалы қабылдай алатын мәндер диапазонын (интервалын) қадағалайды.[1]Алынған ақпараттарды резервтеуді жою, өлі кодты жою, нұсқауларды таңдау және т.с.с. сияқты оңтайландыруларда қолдануға болады, сонымен қатар бағдарламалардың қауіпсіздігін жақсарту үшін пайдалануға болады, мысалы. анықтау кезінде буферлік артық.[2] Әдетте мәндер диапазонын талдау әдістері қолданылады символдық талдау кең көлемде.[3]

Мәндер ауқымын талдау көбінесе Intel C ++ компиляторы және іске асырылуы керек GCC.[дәйексөз қажет]

Әдебиеттер тізімі

  1. ^ Харрисон, Уильям Х. (1977). «Айнымалылардың мән аралықтарын компиляторлық талдау». Бағдарламалық жасақтама бойынша IEEE транзакциялары. 3 (3): 243–250. дои:10.1109 / TSE.1977.231133.
  2. ^ Вагнер, Д .; Фостер, Дж. С .; Брюэр, Е.А .; Айкен, А. (2000). Буфердің асып кеткен осалдығын автоматты түрде анықтауға бағытталған алғашқы қадам. NDSS.
  3. ^ Қайың, Джонни; ван Энгелен, Роберт; Галливан, Кайл. «Шартты түрде жаңартылған айнымалылар мен көрсеткіштердің мән ауқымын талдау» (PDF).