Enum UnknownMethodBehavior 

pub enum UnknownMethodBehavior {
    Emulate,
    Symbolic,
    Fail,
    Default,
    Skip,
}

Behavior when encountering methods without registered hooks.

When the emulator encounters a method call for which no hook is registered, this setting determines what happens.

Choosing a Behavior

• Use Emulate to execute the method’s CIL bytecode (default, works for user-defined methods with bodies)
• Use Symbolic for data flow analysis where you want to track how unknown values propagate
• Use Fail for strict emulation where all methods must have hook implementations
• Use Default for extraction scenarios where return values often don’t matter
• Use Skip for simple constant folding where you want to ignore irrelevant calls

Variants

Emulate

Attempt to emulate the method’s CIL bytecode.

The emulator will try to execute the method’s actual bytecode. This works for user-defined methods with bodies but will fall back to symbolic values for methods without bodies (e.g., P/Invoke).

Best for: User-defined methods, full emulation scenarios.

Symbolic

Return a symbolic value representing the unknown result.

The symbolic value can be tracked through subsequent operations to analyze data flow patterns. Best for static analysis scenarios.

Fail

Fail with an error immediately.

Stops emulation with an error indicating the missing method. Use for strict emulation where all methods must be handled.

Default

Return a default value based on the return type.

Returns null for reference types, 0 for integers, 0.0 for floats, false for booleans. Useful for extraction where return values often don’t affect the target behavior.

Skip

Skip the call entirely (treat as no-op).

The call is ignored and execution continues. No value is pushed for methods with return values (may cause stack imbalance if the return value is used).

Trait Implementations

impl Clone for UnknownMethodBehavior

fn clone(&self) -> UnknownMethodBehavior

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for UnknownMethodBehavior

impl Debug for UnknownMethodBehavior

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

Formats the value using the given formatter.

impl Default for UnknownMethodBehavior

fn default() -> UnknownMethodBehavior

Returns the “default value” for a type.

impl Eq for UnknownMethodBehavior

impl PartialEq for UnknownMethodBehavior

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UnknownMethodBehavior