Symbolic Analysis for Shape and Memory Safety of Pointer-based Codes

Pedro Diniz


Summary


Keywords:

Shape Analysis, Memory Safety and Pointer Analysis.


Related Publications