Enum NamedStructInitialDef

pub enum NamedStructInitialDef {
    AllFieldsUntainted,
    AllFieldsTainted,
    InitialDef(TaintedType),
}

Describes the initial definition (taint state) of a named struct. It may always become more tainted than this initial state during taint-tracking, but never less.

Variants

AllFieldsUntainted

All fields of this named struct begin untainted. This is the default for all named structs unless otherwise specified.

AllFieldsTainted

All fields of this named struct begin tainted.

InitialDef(TaintedType)

Use this TaintedType (which must be a TaintedType::Struct variant) as the initial definition for this named struct. This must be compatible with the LLVM type of the struct.