Symbolic Analysis for Shape and Memory Safety of Pointer-based Codes
Pedro Diniz
Summary
Keywords:
Shape Analysis, Memory Safety and Pointer Analysis.
Related Publications