Review of Recent Techniques on Heap Specification and Verification

10/22/2019

∙

by   René Haberland, et al.

∙

0

∙

share

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.