The LTP GCOV-kernel extension (GCOV-kernel) at http://ltp. sourceforge .net/_coverage/gcov-kernel.php