On Nov 29, 2006, at 5:09 PM, Elad Efrat wrote:

>   - Introduce a new malloc(9) type, M_VERIEXEC, and use it instead of
>     M_TEMP, so we can tell exactly how much memory is used by  
> Veriexec.

There is a bug in the code now -- vfe->fp is initialize with  
prop_data_data(), which allocates using M_TEMP (see prop_data(3)), but  
then you free with M_VERIEXEC.  If you want to track this accurately  
with M_VERIEXEC, then you need to use prop_data_size() to allocate the  
buffer yourself, and get a pointer to the data to copy using  
prop_data_data_nocopy().

-- thorpej