Struct HostInputRecord 

pub struct HostInputRecord {
    pub path: String,
    pub dtid: u64,
    pub syscall: u64,
    pub identity: HostFileIdentity,
    pub content: Option<String>,
    pub exec: bool,
    pub kernel_object: bool,
}

One host file a guest opened: the path it named, made absolute against its working directory or directory descriptor, the host identity of the file the open reached (or the captured origin of an authenticated launcher-owned snapshot), and the open itself, as the thread (dtid) and that thread’s syscall number (syscall, the finish syscall #N of the run’s log) that made it. A path that is not UTF-8 is recorded lossily.

Fields

path: String

dtid: u64

syscall: u64

identity: HostFileIdentity

content: Option<String>

The content of the file the open found, as HostInput::content, read when the run had ended; absent where Detcore could not read it.

exec: bool

Whether the kernel opened the file for an exec, as the new image or its program interpreter, rather than the guest by an open call. Such a record has no open in the log, so the verification pattern walk leaves it out; a HostInputSet keeps it.

kernel_object: bool

Whether the open reached a kernel object: by the descriptor’s own path (is_kernel_object), whatever the guest spelled (/etc/mtab names /proc/self/mounts), or by the file’s type, a FIFO, a socket or a device wherever it is, which holds no bytes to compare and whose times move with every write to it. A HostInputSet leaves it out, as it leaves out a path spelled under /proc, /sys or /dev.

Trait Implementations

impl Clone for HostInputRecord

fn clone(&self) -> HostInputRecord

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for HostInputRecord

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for HostInputRecord

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for HostInputRecord

impl PartialEq for HostInputRecord

fn eq(&self, other: &HostInputRecord) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for HostInputRecord

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for HostInputRecord