The libmudflap libraries are used by gcc for instrumenting pointer and array dereferencing operations.

this package contains the headers and the static libraries.