Struct Analyzer 

pub struct Analyzer { /* private fields */ }

Main analyzer for processing Solidity source code and extracting execution steps.

The Analyzer walks through the Abstract Syntax Tree (AST) of Solidity source code and identifies executable steps, manages variable scopes, and tracks function visibility and mutability requirements.

Fields

• scope_stack: Stack of variable scopes for managing variable visibility
• finished_steps: Completed execution steps that have been fully analyzed
• current_step: Currently being analyzed step (if any)
• private_state_variables: State variables that should be made public
• private_functions: Functions that should be made public
• immutable_functions: Functions that should be made mutable

Implementations

impl Analyzer

pub fn new(source_id: u32) -> Self

Creates a new instance of the Analyzer.

This method initializes a fresh analyzer with default state, ready to analyze Solidity source code.

Returns

A new Analyzer instance with empty scope stack and step collections.

pub fn analyze( self, source_id: u32, source_path: &PathBuf, source_unit: &SourceUnit, ) -> Result<SourceAnalysis, AnalysisError>

Analyzes a source unit and returns the analysis results.

This method walks through the AST of the source unit, identifies execution steps, manages variable scopes, and collects recommendations for code improvements.

Arguments

• source_id - Unique identifier for the source file
• source_path - File system path to the source file
• source_unit - The source unit to analyze

Returns

A Result containing the SourceAnalysis on success, or an AnalysisError on failure.

Errors

Returns an error if the AST walk fails or if there are issues with step partitioning.

Trait Implementations

impl Clone for Analyzer

fn clone(&self) -> Analyzer

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Analyzer

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

Formats the value using the given formatter.

impl Visitor for Analyzer

fn visit_source_unit( &mut self, source_unit: &SourceUnit, ) -> Result<VisitorAction>

Visits a source unit (the root of a Solidity file).

fn post_visit_source_unit(&mut self, _source_unit: &SourceUnit) -> Result<()>

fn visit_pragma_directive( &mut self, directive: &PragmaDirective, ) -> Result<VisitorAction>

fn visit_contract_definition( &mut self, _definition: &ContractDefinition, ) -> Result<VisitorAction>

fn post_visit_contract_definition( &mut self, _definition: &ContractDefinition, ) -> Result<()>

fn visit_user_defined_value_type( &mut self, _value_type: &UserDefinedValueTypeDefinition, ) -> Result<VisitorAction>

fn visit_struct_definition( &mut self, _definition: &StructDefinition, ) -> Result<VisitorAction>

fn visit_enum_definition( &mut self, _definition: &EnumDefinition, ) -> Result<VisitorAction>

fn visit_event_definition( &mut self, _definition: &EventDefinition, ) -> Result<VisitorAction>

fn visit_error_definition( &mut self, _definition: &ErrorDefinition, ) -> Result<VisitorAction>

fn visit_function_definition( &mut self, definition: &FunctionDefinition, ) -> Result<VisitorAction>

fn post_visit_function_definition( &mut self, definition: &FunctionDefinition, ) -> Result<()>

fn visit_modifier_definition( &mut self, definition: &ModifierDefinition, ) -> Result<VisitorAction>

fn post_visit_modifier_definition( &mut self, definition: &ModifierDefinition, ) -> Result<()>

fn visit_block(&mut self, block: &Block) -> Result<VisitorAction>

fn post_visit_block(&mut self, block: &Block) -> Result<()>

fn visit_unchecked_block( &mut self, unchecked_block: &UncheckedBlock, ) -> Result<VisitorAction>

fn post_visit_unchecked_block( &mut self, unchecked_block: &UncheckedBlock, ) -> Result<()>

fn visit_for_statement( &mut self, for_statement: &ForStatement, ) -> Result<VisitorAction>

fn post_visit_for_statement( &mut self, for_statement: &ForStatement, ) -> Result<()>

fn visit_statement(&mut self, _statement: &Statement) -> Result<VisitorAction>

fn post_visit_statement(&mut self, _statement: &Statement) -> Result<()>

fn visit_function_call( &mut self, function_call: &FunctionCall, ) -> Result<VisitorAction>

fn visit_variable_declaration( &mut self, declaration: &VariableDeclaration, ) -> Result<VisitorAction>

fn visit_assignment(&mut self, assignment: &Assignment) -> Result<VisitorAction>

fn visit_import_directive( &mut self, _directive: &ImportDirective, ) -> Result<VisitorAction>

fn visit_expression( &mut self, _expression: &Expression, ) -> Result<VisitorAction>

fn visit_user_defined_type_name( &mut self, _type_name: &UserDefinedTypeName, ) -> Result<VisitorAction>

fn visit_identifier_path( &mut self, _identifier_path: &IdentifierPath, ) -> Result<VisitorAction>

fn visit_type_name(&mut self, _type_name: &TypeName) -> Result<VisitorAction>

fn visit_parameter_list( &mut self, _parameter_list: &ParameterList, ) -> Result<VisitorAction>

fn visit_overrides( &mut self, _specifier: &OverrideSpecifier, ) -> Result<VisitorAction>

fn visit_using_for( &mut self, _directive: &UsingForDirective, ) -> Result<VisitorAction>

fn visit_unary_operation( &mut self, _unary_op: &UnaryOperation, ) -> Result<VisitorAction>

fn visit_binary_operation( &mut self, _binary_op: &BinaryOperation, ) -> Result<VisitorAction>

fn visit_conditional( &mut self, _conditional: &Conditional, ) -> Result<VisitorAction>

fn visit_tuple_expression( &mut self, _tuple_expression: &TupleExpression, ) -> Result<VisitorAction>

fn visit_new_expression( &mut self, _new_expression: &NewExpression, ) -> Result<VisitorAction>

fn visit_identifier( &mut self, _identifier: &Identifier, ) -> Result<VisitorAction>

fn visit_index_access( &mut self, _index_access: &IndexAccess, ) -> Result<VisitorAction>

fn visit_index_range_access( &mut self, _index_range_access: &IndexRangeAccess, ) -> Result<VisitorAction>

fn visit_while_statement( &mut self, _while_statement: &WhileStatement, ) -> Result<VisitorAction>

fn visit_if_statement( &mut self, _if_statement: &IfStatement, ) -> Result<VisitorAction>

fn visit_do_while_statement( &mut self, _do_while_statement: &DoWhileStatement, ) -> Result<VisitorAction>

fn visit_emit_statement( &mut self, _emit_statement: &EmitStatement, ) -> Result<VisitorAction>

fn visit_try_statement( &mut self, _try_statement: &TryStatement, ) -> Result<VisitorAction>

fn visit_revert_statement( &mut self, _revert_statement: &RevertStatement, ) -> Result<VisitorAction>

fn visit_member_access( &mut self, _member_access: &MemberAccess, ) -> Result<VisitorAction>

fn visit_mapping(&mut self, _mapping: &Mapping) -> Result<VisitorAction>

fn visit_elementary_type_name( &mut self, _elementary_type_name: &ElementaryTypeName, ) -> Result<VisitorAction>

fn visit_literal(&mut self, _literal: &Literal) -> Result<VisitorAction>

fn visit_function_type_name( &mut self, _function_type_name: &FunctionTypeName, ) -> Result<VisitorAction>

fn visit_array_type_name( &mut self, _array_type_name: &ArrayTypeName, ) -> Result<VisitorAction>

fn visit_function_call_options( &mut self, _function_call: &FunctionCallOptions, ) -> Result<VisitorAction>

fn visit_return(&mut self, _return: &Return) -> Result<VisitorAction>

fn visit_inheritance_specifier( &mut self, _specifier: &InheritanceSpecifier, ) -> Result<VisitorAction>

fn visit_modifier_invocation( &mut self, _invocation: &ModifierInvocation, ) -> Result<VisitorAction>

fn visit_inline_assembly( &mut self, _assembly: &InlineAssembly, ) -> Result<VisitorAction>

fn visit_external_assembly_reference( &mut self, _ref: &ExternalInlineAssemblyReference, ) -> Result<VisitorAction>

fn post_visit_import_directive( &mut self, _directive: &ImportDirective, ) -> Result<()>

fn post_visit_pragma_directive( &mut self, _directive: &PragmaDirective, ) -> Result<()>

fn post_visit_expression(&mut self, _expression: &Expression) -> Result<()>

fn post_visit_function_call( &mut self, _function_call: &FunctionCall, ) -> Result<()>

fn post_visit_user_defined_type_name( &mut self, _type_name: &UserDefinedTypeName, ) -> Result<()>

fn post_visit_identifier_path( &mut self, _identifier_path: &IdentifierPath, ) -> Result<()>

fn post_visit_type_name(&mut self, _type_name: &TypeName) -> Result<()>

fn post_visit_parameter_list( &mut self, _parameter_list: &ParameterList, ) -> Result<()>

fn post_visit_enum_definition( &mut self, _definition: &EnumDefinition, ) -> Result<()>

fn post_visit_error_definition( &mut self, _definition: &ErrorDefinition, ) -> Result<()>

fn post_visit_event_definition( &mut self, _definition: &EventDefinition, ) -> Result<()>

fn post_visit_struct_definition( &mut self, _definition: &StructDefinition, ) -> Result<()>

fn post_visit_variable_declaration( &mut self, _declaration: &VariableDeclaration, ) -> Result<()>

fn post_visit_overrides(&mut self, _specifier: &OverrideSpecifier) -> Result<()>

fn post_visit_user_defined_value_type( &mut self, _value_type: &UserDefinedValueTypeDefinition, ) -> Result<()>

fn post_visit_using_for(&mut self, _directive: &UsingForDirective) -> Result<()>

fn post_visit_unary_operation( &mut self, _unary_op: &UnaryOperation, ) -> Result<()>

fn post_visit_binary_operation( &mut self, _binary_op: &BinaryOperation, ) -> Result<()>

fn post_visit_conditional(&mut self, _conditional: &Conditional) -> Result<()>

fn post_visit_tuple_expression( &mut self, _tuple_expression: &TupleExpression, ) -> Result<()>

fn post_visit_new_expression( &mut self, _new_expression: &NewExpression, ) -> Result<()>

fn post_visit_assignment(&mut self, _assignment: &Assignment) -> Result<()>

fn post_visit_identifier(&mut self, _identifier: &Identifier) -> Result<()>

fn post_visit_index_access(&mut self, _index_access: &IndexAccess) -> Result<()>

fn post_visit_index_range_access( &mut self, _index_range_access: &IndexRangeAccess, ) -> Result<()>

fn post_visit_while_statement( &mut self, _while_statement: &WhileStatement, ) -> Result<()>

fn post_visit_if_statement(&mut self, _if_statement: &IfStatement) -> Result<()>

fn post_visit_do_while_statement( &mut self, _do_while_statement: &DoWhileStatement, ) -> Result<()>

fn post_visit_emit_statement( &mut self, _emit_statement: &EmitStatement, ) -> Result<()>

fn post_visit_try_statement( &mut self, _try_statement: &TryStatement, ) -> Result<()>

fn post_visit_revert_statement( &mut self, _revert_statement: &RevertStatement, ) -> Result<()>

fn post_visit_member_access( &mut self, _member_access: &MemberAccess, ) -> Result<()>

fn post_visit_mapping(&mut self, _mapping: &Mapping) -> Result<()>

fn post_visit_elementary_type_name( &mut self, _elementary_type_name: &ElementaryTypeName, ) -> Result<()>

fn post_visit_literal(&mut self, _literal: &Literal) -> Result<()>

fn post_visit_function_type_name( &mut self, _function_type_name: &FunctionTypeName, ) -> Result<()>

fn post_visit_array_type_name( &mut self, _array_type_name: &ArrayTypeName, ) -> Result<()>

fn post_visit_function_call_options( &mut self, _function_call: &FunctionCallOptions, ) -> Result<()>

fn post_visit_return(&mut self, _return: &Return) -> Result<()>

fn post_visit_inheritance_specifier( &mut self, _specifier: &InheritanceSpecifier, ) -> Result<()>

fn post_visit_modifier_invocation( &mut self, _invocation: &ModifierInvocation, ) -> Result<()>

fn post_visit_inline_assembly( &mut self, _assembly: &InlineAssembly, ) -> Result<()>

fn post_visit_external_assembly_reference( &mut self, _ref: &ExternalInlineAssemblyReference, ) -> Result<()>