Yes, GCC4 has support for mudflap. However, our libc requires some changes (RTLD_NEXT support) for it to function, so 
the build we made available does not contain libmudflap. The libc changes are under development and should be available 
soon.

Regards,

Ryan Mansfield