Deterring Attackers by Injecting Unexploitable Bugs

Ovaj rad zasnovan je na radu Chaff Bugs te LAVA projektu koji opisani rad koristi. U sklopu rada opisani su najčešći načini automatiziranog otkrivanja ranjivosti u programima pisanim u C i C++ jezicima, te potreba za referentnim skupom grešaka nad kojim se različite metode mogu uspoređivati. Rad uključuje opis LAVA projekta koji rješava navedeni problem. Opisane su neke od najčešćih sigurnosnih grešaka prilikom programiranja te mogući načini na koje bi se mogle ubacivati lažne ranjivosti opisanih vrsta grešaka. U sklopu rada su implementirana ubacivanja malloc off by one grešaka te nezlouporabljivih printf grešaka koje otkrivaju sadržaj na stogu.This thesis describes the original Chaff Bugs paper and the LAVA project that it used. In the process, common methods of automated vulnerability discovery and the need for a ground-truth bug corpora that can be used to compare and evaluate different tools are also described. A description of how LAVA solves that problem is provided. The thesis provides commentary and ideas for implementations of additional unexploitable bug classes. Implementations of malloc off by one bug injection and unexploitable printf leaks are described and provided as part of the thesis