Vnedrenie sistema uqzwimostej programmnogo obespecheniq

Programmnye oshibki, priwodqschie k powrezhdeniü pamqti, qwlqütsq rasprostranennoj i opasnoj osobennost'ü sistem, razrabotannyh na nekotoryh qzykah programmirowaniq. Takie oshibki qwlqütsq uqzwimostqmi bezopasnosti, esli oni mogut byt' ispol'zowany zloumyshlennikom dlq zapuska wredonosnogo koda. Opredelenie nalichiq takoj wozmozhnosti - trudoemkij process, trebuüschij tehnicheskih znanij w razlichnyh oblastqh. Chasto edinstwennym sposobom ubedit'sq w tom, chto oshibka dejstwitel'no mozhet byt' ispol'zowana zloumyshlennikom, qwlqetsq sozdanie polnocennogo äxplojta. Imenno ätot process my stremimsq awtomatizirowat'. My predstawlqem nowyj algoritm, kotoryj ob#edinqet analiz potoka dannyh i proceduru prinqtiq reshenij s cel'ü awtomaticheskogo sozdaniq äxplojtow. Sozdannye nami äxplojty prednaznacheny dlq perehwata potoka uprawleniq prilozheniem i perenaprawleniq ego na wredonosnyj kod.