Dinamiska programmu atmiņas objektu analīze

Abstract

Darbā tiek risinātas problēmas, kas saistītas ar automātisku kļūdu meklēšanu programmās, balstoties uz to izpildes laikā izmantotajiem atmiľas objektiem - pirmkodā definēto salikto datu tipu instancēm datora operatīvajā atmiľā. Tiek analizētas iespējas un izstrādāti risinājumi, kā šos datus par programmas atmiľas objektiem iegūt un uzglabāt. Kā spējīgākie datu ieguves mehānismi tiek atzīti pirmkoda statiska analīzē kombinācijā ar programmas instrumentēšanu un gatavu programmu atkļūdotāju izmantošana. Darba rezultātā tiek iegūti vairāki jauni algoritmi, kas spējīgi meklēt programmā radušās kļūdas analizējot izmaiľas dažādos atmiľas objektos. Realizējot pirmkodā darbā aprakstītās idejas tiktu iegūts datu struktūru līmeľa atkļūdotājs, kuram analogs ar līdzīgām iespējām netika atrasts.

This reseach work addresses the problems associated with automatic error detection in programs, which is based on program memory objects used during the run-time. Program memory objects are instances of composite data types defined in source code. There is analysed and developed a solution how to obtain and store data of memory objects. As a high performing data collection mechanisms are recognized the source code static analysis in combination with the program tooling, and ready-to-use program debuggers. The result is a series of new algorithms which are able to search for errors by analysing the changes in program memory objects. By implementing described work in source code, the result would be the data structure level debugger, whom analogous with similar features was hard to find.