Struct finite_wasm::NoConfig

pub struct NoConfig;

No config is provided for the analysis, meaning the specific analysis will not run.

Trait Implementations

impl<'b> Config<'b> for NoConfig

type StackVisitor<'s> = NoOpVisitor<Result<(), Error>>

fn make_visitor<'s>( &'s self, _: &'s ModuleState, _: &'s mut FunctionState ) -> Self::StackVisitor<'s>

fn save_outcomes(&self, _: &mut FunctionState, _: &mut AnalysisOutcome)

fn add_function(&self, _: &mut ModuleState, _: u32)

fn add_global(&self, _: &mut ModuleState, _: ValType)

fn add_table(&self, _: &mut ModuleState, _: RefType)

fn add_type(&self, _: &mut ModuleState, _: Type)

fn populate_locals( &self, _: &ModuleState, _: &mut FunctionState, _: u32 ) -> Result<(), Error>

impl<'b> Config<'b> for NoConfig

type GasVisitor<'s> = NoOpVisitor<Result<(), Error>>

fn make_visitor<'s>( &'s mut self, _: &'s mut FunctionState ) -> Self::GasVisitor<'s>

fn save_outcomes(&self, _: &mut FunctionState, _: &mut AnalysisOutcome)