veriexec_get_pid_label
char * veriexec_get_pid_label(pid_t, char *, size_t);
cp = veriexec_get_pid_label(pid, buf, sizeof(buf));