ethpector.symbolic.modules package

Submodules

ethpector.symbolic.modules.extractor module

class ethpector.symbolic.modules.extractor.RecoverData

Bases: DetectionModule

description = 'Recovers annotations from symbolic execution'

entry_point: EntryPoint = 2

get_annotations()

name = 'Data recoverer'

ethpector.symbolic.modules.sender module

class ethpector.symbolic.modules.sender.AddressConstantAnnotation(address, pc)

Bases: object

class ethpector.symbolic.modules.sender.LOADAnnotation(address, pc)

Bases: StateAnnotation

class ethpector.symbolic.modules.sender.MsgSender(enable_sender_in_index)

Bases: DetectionModule

This module detects whether control flow decisions are made based on the transaction sender.

description = 'Check whether control flow decisions are influenced by msg.sender'

entry_point: EntryPoint = 2

execute_posthook(state: GlobalState, op, pc, instruction, stack, func, lastOp)

execute_prehook(state: GlobalState, op, pc, instruction, stack, func, lastOp)

name = 'Control flow depends on msg.sender'

class ethpector.symbolic.modules.sender.MsgSenderAnnotation

Bases: object

class ethpector.symbolic.modules.sender.SHAAnnotation

Bases: object

class ethpector.symbolic.modules.sender.StorageAnnotation(address, pc)

Bases: object

ethpector.symbolic.modules.sender.based_on_msg_sender(constraint)

ethpector.symbolic.modules.sender.contains_hash(constraint)

ethpector.symbolic.modules.sender.get_storage_addresses_from_constraint(constraint)

Module contents