Struct Config

#[non_exhaustive]
pub struct Config {
    pub dereferencing_tainted_ptr_gives_tainted: bool,
    pub ext_functions: HashMap<String, ExternalFunctionHandling>,
    pub ext_functions_default: ExternalFunctionHandling,
}

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

dereferencing_tainted_ptr_gives_tainted: bool

If true, then dereferencing a tainted pointer always gives tainted data. If false, then dereferencing a tainted pointer works just like dereferencing an untainted pointer. Values computed from the tainted pointer (e.g. via pointer arithmetic) will be tainted, but values resulting from dereferencing the tainted pointer will not be tainted merely for that reason alone.

Default is true.

ext_functions: HashMap<String, ExternalFunctionHandling>

How to handle external functions – that is, functions not defined in the Module. This is a map from LLVM function name to the handling that should be used for that function.

ext_functions_default: ExternalFunctionHandling

How to handle external functions which aren’t present in the ext_functions map above; or function pointers where no valid target for the function pointer exists in the Module.

Trait Implementations

impl Default for Config

fn default() -> Self

Returns the “default value” for a type.