In some email I received from Dug Song, sie wrote:
[...]
> a little bit of Makefile infrastructure and cpp magic, and the cost of
> generating policy for new programs (or updating policy for existing
> ones) is very low.

Has anyone looked at how useful the symbol table is for building up
"what can be expected" from a program at runtime ?

Darren