DUMA is an open-source library to detect buffer overruns and under-runs in C and C++ programs.