Some memory errors in C programs are due … [deallocated] heap pointer … CCured prevents this problem by replacing 'malloc' with … [Boehm and Weiser 1988]. … CCured requires the programmer to annotate custom allocators …
Google-1
Google-2
Copyright clearance needed for quotation.