Struct ProcessingState 

pub struct ProcessingState {
    pub needs_ssa_build: DashSet<Token>,
    pub method_dirty: DashSet<Token>,
    pub method_stable: DashSet<Token>,
    pub newly_detected: DashSet<Token>,
    pub type_dirty: DashSet<Token>,
    pub type_stable: DashSet<Token>,
    /* private fields */
}

Tracks processing state for methods, types, and the assembly during the deobfuscation fixpoint loop.

State transitions:

• Methods: dirty → (pass runs) → stable or needs_ssa_build
• SSA build: needs_ssa_build → (build) → dirty
• Types: type_dirty → (pass runs) → type_stable

Fields

needs_ssa_build: DashSet<Token>

Methods needing SSA (re)construction before passes can process them.

method_dirty: DashSet<Token>

Methods that have been modified and need reprocessing.

method_stable: DashSet<Token>

Methods that have reached fixpoint (no changes in last pass iteration).

newly_detected: DashSet<Token>

Tokens discovered during re-detection that need processing.

type_dirty: DashSet<Token>

Types with modified members that need reprocessing.

type_stable: DashSet<Token>

Types that have reached fixpoint.

Implementations

impl ProcessingState

pub fn new() -> Self

Creates a new empty processing state.

pub fn from_methods(methods: impl IntoIterator<Item = Token>) -> Self

Creates a processing state where all given methods start as dirty.

pub fn mark_method_dirty(&self, token: Token)

Marks a method as dirty (needing reprocessing).

Removes the method from the stable set if present.

pub fn mark_method_stable(&self, token: Token)

Marks a method as stable (reached fixpoint).

Removes the method from the dirty set if present.

pub fn mark_needs_ssa_build(&self, token: Token)

Marks a method as needing SSA (re)construction.

Removes the method from both dirty and stable sets.

pub fn mark_ssa_built(&self, token: Token)

Marks a method’s SSA as built, transitioning it to dirty for pass processing.

Removes the method from the needs_ssa_build set.

pub fn mark_type_dirty(&self, token: Token)

Marks a type as dirty (has modified members).

Removes the type from the stable set if present.

pub fn mark_type_stable(&self, token: Token)

Marks a type as stable (reached fixpoint).

Removes the type from the dirty set if present.

pub fn mark_assembly_dirty(&self)

Sets the assembly-wide dirty flag.

pub fn clear_assembly_dirty(&self)

Clears the assembly-wide dirty flag.

pub fn is_assembly_dirty(&self) -> bool

Returns true if the assembly-wide dirty flag is set.

pub fn has_pending_work(&self) -> bool

Returns true if there is any pending work (dirty methods/types, SSA builds needed, newly detected tokens, or assembly dirty).

pub fn dirty_method_count(&self) -> usize

Returns the number of dirty methods.

pub fn stable_method_count(&self) -> usize

Returns the number of stable methods.

Trait Implementations

impl Default for ProcessingState

fn default() -> Self

Returns the “default value” for a type.