
MIT tyrinėtojų grupė prastatė programinį aprūpinimą, kuris sugeba dinamiškai taisyti klaidas ir pažeidimus. Sugeba taisyti bet kokiu kodu, nebūtinai pats savyje. Išeities tekstai nereikalingi. Tik Windows.
Originalus PDF su «Automatically Patching Errors in Deployed Software» publikacija
štai čia.
Praktinio pritaikomumo sritis akivaizdi ir didžiulė. «Deployed Software» tai komercinis softas.
Yra tvirtinama, kad geriausiai veikia klasteriuose; pažeidimai, aptikti viename iš hostų, automatiškai užsiriečia į visus likusius.
Idėja yra tokia: «Deployed Software» pastoviai monitoruojasi į įtartiną aktyvumą, pavyzdžiui buferių perpildymą, įtartinus valdymo perdavimus ir kitą nekorektišką elgesį.
Iš tikrųjų čia dvi problemos:
1. Jeigu sistema high availability — apie jokius pertraukinėjimus ir blokavimą negali būt ir kalbos.
2. Skylių užlopymo greitis komerciniame softe nedidelis — po mėnesio programuotojai išleidžia patčą.
Naujiena čia yra ta, kad ClearView, žada taisyti bagus ir šalinti pažeidimus realiu laiku be restartų ir žmogaus įsikišimo.
Iš pradžių ClearView renka elgesio statistiką normalaus atlikimo metu, jie tai vadina „atlikimo invariantais“, paskui seka aktyvumą, aptikus įtarimus automatiškai atnaujina binarinį kodą bandant atnaujinti «atlikimo ivariantus». Pati moka testuoti skirtingus pataisymų variantus, instaliuoti ir deinstalioti atnaujinimus. T.y. faktiškai stengtis laikyti sistemą pastovioje būsenoje, filtruojant input arba blokuojant ir taisant kodą.
P.S. Dar du žingsniai ir programos pačios save rašys.