Svadev mailing list

[Matthew Wala <wala1 AT illinois.edu>]

Hi everyone, I have a couple of questions:

1) I have a rather large external library I'd like to integrate into
SAFECode for support for printing floating point numbers in the
runtime for my format string functions (it's the second to last item
at http://www.netlib.org/fp/). (I will probably end up cutting it down
to to the few files I need, but it may still be somewhat big). Where
would be the best place to put this in the SAFECode source tree?

2) Just to be sure, if I have a runtime function that allocates and
frees memory internally for its own purposes using malloc and mmap,
these allocations won't interfere in bad ways with the rest of the
execution of the transformed program?

3) If I want a runtime function (for a function like asprintf) to
return allocated memory to the user, is the proper way to do this to
call __pa_bitmap_poolalloc with the necessary pool argument?

Matt