function::execname(3stap) on Linux

The text ed222583133d, as Debian 11 (Bullseye) shipped it.

Returns the execname of a target process (or group of processes)

function::execname(3stap) on Linux now