Return to Article Details Comparative Analysis of Approaches to Static Verification of Dynamic Memory Download Download PDF