Comparative Analysis of Approaches to Static Verification of Dynamic Memory

Abstract

This review article provides an overview of recent approaches and techniques in specifying and verifying dynamic memory with class objects. Dynamic memory verification may be used in order to show, for instance, the absence of memory leaks or the validity of memory access.