Experiments with property driven monitoring of C programs

  • Kostyantyn Vorobyov

Student thesis: Doctoral Thesis

Abstract

This thesis investigates aspects of monitoring for bug detection, seeking implementations that identify errors precisely and that have overheads acceptable for use with testing. First, this thesis presents an approach to memory leak detection. The key issue addressed by the author’s technique is detection of locations where the leaked memory was lost. This thesis also describes an approach to preventing leakage of sensitive information used by a program. Finally, this thesis presents a mechanism, called Specification for Monitoring (SFM), for concise specification of monitoring analysis.
Date of Award10 Oct 2015
LanguageEnglish
Awarding Institution
SupervisorPadmanabhan Krishnan (Supervisor), Marcus Randall (Supervisor) & Philip Stocks (Supervisor)

Cite this

Experiments with property driven monitoring of C programs
Vorobyov, K. (Author). 10 Oct 2015

Student thesis: Doctoral Thesis