A taint-tracking plugin for the Valgrind memory checking tool