veriexec(4)

veriexec4

The veriexec device

Usage

#include <dev/veriexec/veriexec_ioctl.h>

Overview

The veriexec device is used by veriexec(8) to query and modify the state of mac_veriexec(4).

Once mac_veriexec(4) is active, only a process which is marked as ‘trusted’ (normally only veriexec(8)) is able to more than the VERIEXEC_GETSTATE ioctl.

Ioctls

The supported ioctls are described below.

VERIEXEC_SIGNED_LOAD struct verified_exec_params

Pass file information to mac_veriexec(4).

struct verified_exec_params  {
	unsigned char flags;
	char fp_type[VERIEXEC_FPTYPELEN];	/* type of fingerprint */
	char file[MAXPATHLEN];
	unsigned char fingerprint[MAXFINGERPRINTLEN];
};
VERIEXEC_LABEL_LOAD struct verified_exec_label_params

Pass file information and a label to mac_veriexec(4).

struct verified_exec_label_params  {
	struct verified_exec_params params;
	char label[MAXLABELLEN];
};
VERIEXEC_ACTIVE
VERIEXEC_DEBUG_OFF
VERIEXEC_DEBUG_ON int level
VERIEXEC_ENFORCE
VERIEXEC_GETSTATE
VERIEXEC_GETVERSION
VERIEXEC_LOCK
VERIEXEC_VERIFIED_FILE int fd

Rarely needed. Tells mac_veriexec(4) that the file associated with fd is verified.

Releases

Unchanged in 3 releases since FreeBSD 15.0-RELEASE.

  1. 15.0–16.0

History

A veriexec device first appeared in NetBSD. It was added to FreeBSD 13.1.

From base 16.0-CURRENT-20261027-61c70dc16a79 in FreeBSD 16.0-CURRENT (2026-10-27). Parsed by carta from the page's mdoc source.