Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

On 5/24/12 5:56 PM, Daniel Huang wrote: I added -DPOOLALLOC but still haven't been able to get any programs to emit poolalloc or poolinit instructions. Perhaps I misunderstood you, but I modified safecode's Makefile.common SC_FLAGS with -DPOOLALLOC.

Did you recompile the code?  Did you reinstall the SAFECode libLTO after the recompile?  Are you giving clang the proper command-line arguments to make it use libLTO?

Poolalloc is performed by libLTO.  If you aren't using libLTO (or if you've installed it incorrectly), then the automatic pool allocation transform won't be run.  You need to use the SAFECode libLTO; directions can be found in the SAFECode Install Guide and User's Guide on the SAFECode web page.

Also, do you have an example program which will cause the tool to emit these instructions?

With the SAFECode heuristic, pretty much any code with memory allocations will generate pool functions.  You might want to try using code examples from the SAFECode or Poolalloc papers.

I'm really curious to see where pools are created and destroyed. For example, can they be created in the middle of the function, or are they only ever created at the beginning of a function and destroyed at the end.

I believe dynamically allocated pools are always created a function entry and destroyed at function exit.

-- John T.