Monotonic Abstraction for Programs with Multiply-Linked Structures

Download Now
Provided by: Uppror Media Group
Topic: Big Data
Format: PDF
The authors investigate the use of monotonic abstraction and back-ward reachability analysis as means of performing shape analysis on programs with multiply pointed structures. By encoding the heap as a vertex- and edge-labeled graph, they can model the low level behavior exhibited by programs written in the C programming language. Using the notion of signatures, which are predicates that de ne sets of heaps, they can check properties such as absence of null pointer dereference and shape invariants.
Download Now

Find By Topic