Binary package “libmudflap0-4.4-dev” in ubuntu precise
GCC mudflap support libraries (development files)
The libmudflap libraries are used by GCC for instrumenting pointer and array
dereferencing operations.
.
This package contains the headers and the static libraries.