tracing: Verify event formats that have "%*p.."
authorSteven Rostedt <rostedt@goodmis.org>
Thu, 27 Mar 2025 23:53:11 +0000 (19:53 -0400)
committerSteven Rostedt (Google) <rostedt@goodmis.org>
Wed, 2 Apr 2025 13:51:26 +0000 (09:51 -0400)
commitea8d7647f9ddf1f81e2027ed305299797299aa03
tree01f4dc931217c92c722a0a4f5a81c9ff387c0480
parent42ea22e754ba4f2b86f8760ca27f6f71da2d982c
tracing: Verify event formats that have "%*p.."

The trace event verifier checks the formats of trace events to make sure
that they do not point at memory that is not in the trace event itself or
in data that will never be freed. If an event references data that was
allocated when the event triggered and that same data is freed before the
event is read, then the kernel can crash by reading freed memory.

The verifier runs at boot up (or module load) and scans the print formats
of the events and checks their arguments to make sure that dereferenced
pointers are safe. If the format uses "%*p.." the verifier will ignore it,
and that could be dangerous. Cover this case as well.

Also add to the sample code a use case of "%*pbl".

Link: https://lore.kernel.org/all/bcba4d76-2c3f-4d11-baf0-02905db953dd@oracle.com/
Cc: stable@vger.kernel.org
Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Fixes: 5013f454a352c ("tracing: Add check of trace event print fmts for dereferencing pointers")
Link: https://lore.kernel.org/20250327195311.2d89ec66@gandalf.local.home
Reported-by: Libo Chen <libo.chen@oracle.com>
Reviewed-by: Libo Chen <libo.chen@oracle.com>
Tested-by: Libo Chen <libo.chen@oracle.com>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
kernel/trace/trace_events.c
samples/trace_events/trace-events-sample.h