esbmc icon indicating copy to clipboard operation
esbmc copied to clipboard

Published 20 hours ago • verified publisher icon esbmc

Standardize all the dynamic alloc call

Open kunjsong01 opened this issue 2 years ago • 0 comments

Previously discussed in https://github.com/esbmc/esbmc/pull/815#issuecomment-1196741044

Standardize all the dynamic alloc call to deal with malloc/new and free/delete in symex.

kunjsong01 avatar Jul 27 '22 13:07 kunjsong01