Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Project dependencies may have API risk issues #1701

Open
PyDeps opened this issue Oct 26, 2022 · 1 comment
Open

Project dependencies may have API risk issues #1701

PyDeps opened this issue Oct 26, 2022 · 1 comment

Comments

@PyDeps
Copy link

PyDeps commented Oct 26, 2022

Hi, In mythril, inappropriate dependency versioning constraints can cause risks.

Below are the dependencies and version constraints that the project is using

blake2b-py
coloredlogs>=10.0
coincurve>=13.0.0
cython
cytoolz<0.12.0
asn1crypto>=0.22.0
configparser>=3.5.0
coverage>6.0
py_ecc<5.0.0>=1.4.7
eth_abi<3.0.0>=2.0.0b4
eth-account<0.6.0>=0.5.6
ethereum-input-decoder>=0.2.2
eth-hash<0.4.0>=0.3.1
eth-keyfile<0.6.0>=0.5.1
eth-keys<0.4.0>=0.2.1
eth-rlp<0.3.0>=0.1.0
eth-typing<3.0.0>=2.1.0
eth-utils<2
hexbytes<0.3.0
jinja2>=2.9
MarkupSafe<2.1.0
mock
persistent>=4.2.0
py-flags
py-evm==0.5.0a1
py-solc-x
py-solc
pytest>=3.6.0
pyparsing<3>=2.0.2
pytest-cov
pytest_mock
requests
rlp<3
semantic_version
transaction>=2.2.1
typing-extensions<4>=3.7.4
z3-solver>=4.8.8.0
matplotlib
pre-commit
certifi>=2020.06.20

The version constraint == will introduce the risk of dependency conflicts because the scope of dependencies is too strict.
The version constraint No Upper Bound and * will introduce the risk of the missing API Error because the latest version of the dependencies may remove some APIs.

After further analysis, in this project,
The version constraint of dependency coloredlogs can be changed to >=0.5,<=15.0.1.
The version constraint of dependency configparser can be changed to ==3.5.0b1.
The version constraint of dependency configparser can be changed to >=3.5.1,<=3.5.2.
The version constraint of dependency configparser can be changed to >=3.7.2,<=5.2.0.
The version constraint of dependency eth-utils can be changed to >=1.0.0b1,<=2.0.0.
The version constraint of dependency jinja2 can be changed to >=2.11.0,<=3.1.2.
The version constraint of dependency py-solc can be changed to >=0.6.0,<=3.2.0.
The version constraint of dependency requests can be changed to >=0.14.2,<=2.24.0.
The version constraint of dependency requests can be changed to ==2.26.0.
The version constraint of dependency z3-solver can be changed to >=4.8.11.0,<=4.11.2.0.

The above modification suggestions can reduce the dependency conflicts as much as possible,
and introduce the latest version as much as possible without calling Error in the projects.

The invocation of the current project includes all the following methods.

The calling methods from the coloredlogs 
coloredlogs.install
The calling methods from the configparser 
configparser.ConfigParser
configparser.ConfigParser.add_section
configparser.ConfigParser.set
The calling methods from the eth-utils 
eth_utils.int_to_big_endian
eth_utils.big_endian_to_int
The calling methods from the jinja2 
jinja2.Environment.get_template
jinja2.select_autoescape
The calling methods from the py-solc 
solc.get_solc_version_string
The calling methods from the requests 
requests.Session
requests.adapters.HTTPAdapter
The calling methods from the z3-solver 
z3.BoolVal
z3.Extract
z3.simplify
z3.Not
z3.BVMulNoOverflow
z3.Or
z3.BVAddNoOverflow
z3.Solver
z3.BitVecSort
z3.K
z3.And
z3.Concat
z3.is_false
z3.Array
z3.Select
z3.set_param
z3.BitVec
z3.BVSubNoUnderflow
z3.Bool
z3.set_option
z3.Function
z3.Sum
z3.Xor
z3.is_true
z3.substitute
z3.Store
z3.Optimize
z3.If
z3.BitVecVal
The calling methods from the all methods 
self.Constraints.super.__iadd__
op.self.instr_pre_hook.append
InstructionCoveragePlugin
detect_mode
d.name
mocker.patch.object
color_map.get
self.super_strategy.get_strategic_global_state.get_annotations
self._memory.get
initial_accounts.keys
mythril.support.signatures.SignatureDB.get
mythril.laser.smt.Optimize.check
mythril.laser.ethereum.transaction.ContractCreationTransaction
mythril.laser.ethereum.state.constraints.Constraints
self.calculate_memory_gas
mythril.ethereum.util.extract_version
state.stack.pop
analyzer.fire_lasers.as_text
mythril.support.model.get_model.decls
annotation.state_change_states.append
os.unlink
set_config.set_api_infura_id
is_assertion_failure
functools.lru_cache
self.work_list.remove
self._register_mythril_modules
create_concolic_parser
mythril.laser.ethereum.function_managers.keccak_function_manager.find_concrete_keccak
mythril.ethereum.interface.rpc.client.EthJsonRpc
ast.literal_eval
self.coverage.items
EtherThief
mythril.laser.ethereum.util.concrete_int_to_bytes
mythril.support.support_utils.sha3
mythril.analysis.module.modules.suicide.AccidentallyKillable
codecs.open
z3.set_param
new_memory.append
self._create_condition
sys.stdout.flush
configparser.ConfigParser.sections
join
SourceCodeInfo
z3.Bool
range
self.conn.cursor
a1.merge_annotation
self.println_ani
hashlib.md5.digest
get_dependency_annotation.extend_storage_write_cache
execute_contract_creation
self.eth.eth_getBalance
matplotlib.pyplot.savefig
mythril.laser.ethereum.call.get_call_parameters
z3.set_option
global_state.mstate.calculate_extension_size
self._init_config
version_line.split.split
contract.disassembly.address_to_function_name.values
contract.get_source_info
parser.add_subparsers.add_parser
str_eval.strip
transaction.call_value.raw.model.eval.as_long
DependenceBucket
self.keys_set.add
mythril.laser.smt.BitVec
length.self.hash_result_store.append
hook_type.self.hook_type_map.append
mythril.laser.ethereum.function_managers.keccak_function_manager.create_conditions
NodeFlags
binascii.a2b_hex
self._modules.extend
self.storage_loaded.union
global_state.mstate.subroutine_stack.append
sys.stderr.write
self.MachineStack.super.pop
mythril.laser.ethereum.transaction.concolic.execute_transaction
cur.execute
global_state.mstate.check_gas
TimeHandler
_arithmetic_helper
self._handle_create_type_post
state.mstate.stack.annotate
mythril.laser.smt.Solver.check
mythril.laser.ethereum.transaction.symbolic.execute_transaction
mythril.laser.smt.URem
os.path.expanduser
rpc.split
self.tuple.__hash__
plugin_builder
dynamic_loader.dynld
x.upper
mythril.laser.smt.K
configparser.ConfigParser.get
global_state.mstate.mem_extend
mythril.mythril.MythrilConfig
issue.contract.contract_data.remove
_check_basic_block
self.keys_get.add
annotation.path.append
data.concrete
solcx.import_installed_solc
mythril.laser.ethereum.util.get_instruction_index
laser_evm.edges.append
ops.get_variable
eth_hash.auto.keccak.hex
self.get_easm
input_file.data.items
_get_concrete_state
self._code_copy_helper
ord
global_states.remove
extension
base.annotations.union
self.register_laser_hooks
mythril.plugin.discovery.PluginDiscovery.build_plugin
atexit.register
retrieve_callback_issues
self.config_path.open.close
result.append
re.sub
plugin
self.manage_cfg
op_code.self.instr_post_hook.op_code.self.instr_pre_hook.self.dynamic_loader.op_code.Instruction.evaluate
state.mem_extend
self.work_list.sort
self.storage_keys_loaded.add
self.put_account
dynamic_loader.read_balance
self.mem_extend
mythril.mythril.MythrilDisassembler
states.append
self._call
d.model.as_list
expression.decl
mythril.analysis.module.loader.ModuleLoader
self.post_handler
opcode.self.instr_pre_hook.append
mythril.laser.ethereum.evm_exceptions.OutOfGasException
global_state.world_state.accounts.values
self.changed_files.append
mythril.laser.plugin.plugins.plugin_annotations.MutationAnnotation
offset.idx.self.solc_indices.data.encode.count
mythril.plugin.discovery.PluginDiscovery.installed_plugins
f.write
LastJumpAnnotation
mythril.plugin.discovery.PluginDiscovery.is_installed
m.group
mythril.support.start_time.StartTime
_transaction_end
annotation.blocks_seen.add
mythril.laser.ethereum.time_handler.time_handler.time_remaining
convert_bv
platform.system
os.path.expanduser.split
z3.Optimize
self._make_stats
mythril.laser.smt.LShR
functools.reduce
_comparison_helper
self.symbolic_inputs.values
self.wrap
ops.Call
signature_database.get
mythril.laser.ethereum.state.world_state.WorldState.put_account
self._init_solc_binary
z3.BoolVal
mythril.laser.smt.UDiv
initial_accounts.items
mythril.laser.smt.Solver.add
self._merge_buckets
os.mkdir
mythril.support.loader.DynLoader
global_state.environment.active_account.code.assign_bytecode
mythril.disassembler.asm.disassemble
self.raw.sexpr
c.encode
state.get_annotations
mythril.laser.ethereum.call.native_call
plugin_builder.initialize
global_state.world_state.constraints.append
self._create_transaction_helper
self.raw.__hash__
create_func_to_hash_parser
sqlite3.connect
new_state.world_state.constraints.append
self.Constraints.super.copy
utils.hex_to_dec
state.memory.write_word_at
mythril.laser.smt.Optimize.maximize
line.strip.strip
z3.Array
global_state.current_transaction.end
mythril.laser.plugin.plugins.MutationPrunerBuilder
mythril.laser.smt.Optimize.sexpr
self.installed_plugins.items
coincurve.PublicKey.from_signature_and_message.format
state.get_current_instruction.startswith
account.balance
self.update_calls
JumpdestCountAnnotation
argparse.ArgumentParser.add_subparsers
global_state.transaction_stack.append
find_op_code_sequence
self.acquire
dynamic_loader.read_storage
eth._utils.blake2.coders.extract_blake2b_parameters
mythril.laser.ethereum.transaction.MessageCallTransaction
module.execute
self.raw.check
execute_command
list
mythril.laser.ethereum.strategy.BasicSearchStrategy.__init__
self.register_instr_hooks
mythril.laser.ethereum.instruction_data.get_required_stack_elements
mythril.laser.smt.SolverStatistics
transfer_ether
stdout.decode
global_state.world_state.accounts_exist_or_load
mythril.laser.smt.Concat
mythril.analysis.issue_annotation.IssueAnnotation
details.items
mythril.laser.ethereum.instructions.Instruction
self.models.append
global_state.mstate.stack.pop
Instruction._sha3_gas_helper
exec
Args
semantic_version.NpmSpec.match
mythril.ethereum.util.solc_exists
constraints.append
actual_hook.hook_dict.append
z3.BitVecVal
length.offset.offset.solidity_file.data.encode.decode.decode
self.sigs.import_solidity_file
module.reset_module
symbolic_vm.post_hook
get_opcode_from_name
py_ecc.optimized_bn128.FQ12.one
ACTORS.addresses.values
py_ecc.optimized_bn128.normalize
z3.Or
func
isinstance
SQLiteDB
self.coverage.keys
OPCODES.items
configparser.ConfigParser.write
self._source_hash.index
re.findall
self.output.isatty
subparsers.add_parser.add_argument_group
time.sleep
mythril.laser.smt.Optimize.minimize
self._annotations.append
self.check_gas
LolCat
mythril.disassembler.asm.find_op_code_sequence
map
state.new_bitvec
mythril.ethereum.util.get_solc_json
hook_dict.items
state.world_state.constraints.is_possible
self._new_node_state
set.union
args.branches.split
os.path.exists
other.storage_written.keys
mythril.support.support_utils.get_code_hash
self.set_api_rpc_localhost
self.serialised_code
parts.append
super.reset_module
json.dumps
format.write_text
open
eth_utils.int_to_big_endian
stack.pop
Report.environment.get_template
is_sequence_match
mythril.analysis.potential_issues.get_potential_issues_annotation
size.value.mem_start.value.mem_start.value.state.mstate.memory.bytes.eth_abi.decode_single.decode
parse_args_and_execute
py_ecc.optimized_bn128.FQ2
annotations.union.union
z3.If.domain
mythril.support.support_args.args.solver_log.Path.mkdir
Bool
logging.info
self.calculate_extension_size
mythril.laser.smt.BVMulNoOverflow
self.size.raw.model.eval.as_long
_issues.append
binascii.b2a_hex
encode
mythril.laser.smt.Concat.size
BenchmarkPlugin
mythril.laser.ethereum.time_handler.time_handler.start_execution
mythril.mythril.MythrilDisassembler.load_from_address
mythril.laser.ethereum.strategy.concolic.ConcolicStrategy
_replace_with_actual_sha
OverUnderflowAnnotation
symbolic_vm.coverage.items
analyzer.fire_lasers.as_markdown
mythril.analysis.security.retrieve_callback_issues
self.blocks_seen.union
z3.BVMulNoOverflow
global_state.transaction_stack.pop
BoundedLoopsStrategy.calculate_hash
mythril.laser.ethereum.svm.LaserEVM
self.assertEqual
NotImplementedError
BoundedLoopsStrategy.count_key
mythril.laser.ethereum.state.machine_state.MachineState
random.randint
s_index.tx.replace
code_split.append
mythril.analysis.potential_issues.Issue
set_config.set_api_from_config_path
ExternalCalls
sig.self.solidity_sigs.append
os.path.dirname
sorted
hasattr
mythril.laser.ethereum.state.account.Account.set_balance
self._accounts.keys
index.instruction_list.rjust
copy.deepcopy
execution_info.as_dict
SourceMapping
mythril.laser.ethereum.state.calldata.ConcreteCalldata
account.serialised_code
self.MachineStack.super.append
mythril.laser.ethereum.evm_exceptions.InvalidJumpDestination
disassembler.contracts.get_creation_easm
mythril.analysis.ops.get_variable
self.Array.super.__init__
env.get_template.render
self.eth_coinbase
mythril.analysis.module.modules.exceptions.Exceptions
time.time
mythril.laser.smt.array.Array
matplotlib.pyplot.ylabel
self.world_state.annotate
self.creation_disassembly.get_easm
DependencyPruner
state.memory.get_word_at
self.session.close
hashlib.md5
mythril.laser.smt.Optimize
global_state.mstate.subroutine_stack.pop
mythril.ethereum.util.safe_decode
d.hex.rstrip
mythril.laser.smt.simplify.size
mythril.analysis.report.Report
self.installed_plugins.keys
mythril.laser.smt.Solver
array.domain.size
ULT
self.plugin_args.get
self.get_solc_indices
py_ecc.optimized_bn128.FQ2.zero
mstate.mem_extend
multiprocessing.Lock
self.eth.eth_getStorageAt
mythril.laser.smt.bool.Bool
semantic_version.NpmSpec
super.initial_global_state_from_environment
hashlib.new
world_state.create_account
self.find_concrete_keccak
mythril.laser.ethereum.state.world_state.WorldState
self.buckets.remove
hashlib.sha256
function_name.find
z3.Store
self._accounts.values
math.ceil
mythril.analysis.solver.get_model
laser_evm.work_list.append
setuptools.setup
state.node.states.append
issue.resolve_function_names
exc.output.decode
iteration.self.storage_written.add
mythril.laser.ethereum.function_managers.keccak_function_manager.create_keccak
mythril.plugin.discovery.PluginDiscovery
self.conn.commit
self.laser.extend_strategy
_add_calldata_placeholder
self.load
_get_padded_hex_address
dict
math.sin
self._ostates_satisfiable.add
mythril.laser.smt.UGT.append
WSDependencyAnnotation
mythril.laser.ethereum.instruction_data.get_opcode_gas
args.__dict__.get
args.modules.strip
self.set_criterion_satisfied
mythril.laser.ethereum.call.get_call_data
py_ecc.optimized_bn128.add
self.accumulate_gas
contract_data.items
_get_concrete_transaction
mythril.ethereum.util.get_solc_json.values
line.strip.startswith
data.size
mythril.laser.smt.bitvec.BitVec
math.log2
strategy.split
mythril.concolic.concolic_execution
NAME.lower.replace
stderr.command.check_output.decode
mythril.laser.smt.ULT
UserAssertions
b.annotations.a.annotations.union.union
state.world_state.annotate
mythril.laser.smt.symbol_factory.BitVecSym
mythril.laser.ethereum.util.extract_copy
get_runtime_input_parser
self.create_account
self.constraints.pop
get_dependency_annotation.get_storage_write_cache
self.op_code.startswith
z3.BVSubNoUnderflow
solcx.install_solc
exceptions.BadResponseError
node.get_cfg_dict
MachineStack
instruction.startswith
self.laser.sym_exec
mythril.ethereum.util.extract_binary
contract_data.values
GlobalState
input.iterdir
mythril.laser.smt.symbol_factory.Bool
max
length.self.symbolic_inputs.append
json.load
configparser.ConfigParser.set
op_code.upper
exit
self.raw.model
mythril.analysis.module.modules.multiple_sends.MultipleSends
attacker_constraints.append
mythril.analysis.traceexplore.get_serializable_statespace
mythril.mythril.MythrilConfig.init_mythril_dir
mythril.laser.ethereum.transaction.execute_message_call
mythril.interfaces.cli.main
mythril.laser.smt.Optimize.model
self.handle_vm_exception
self._handle_shift
z3.If
create_safe_functions_parser
load_code
self.MachineStack.super.__init__
potential_issue.detector.update_cache
NAME.lower
filter
state.constraints.is_possible
self._reads.append
z3.Extract
self.raw.minimize
length.offset.offset.solidity_file.data.encode.decode
analyzer.fire_lasers.as_json
solc.get_solc_version_string
mythril.plugin.loader.MythrilPluginLoader
self._modules.append
flip_branches
_SmtSymbolFactory
mythril.analysis.symbolic.SymExecWrapper
file.split
self.raw.append
stack.append
solcx.get_installable_solc_versions
create_disassemble_parser
mythril.laser.ethereum.state.environment.Environment
io.open
mythril.analysis.module.get_detection_module_hooks
ethereum_input_decoder.decoder.FourByteDirectory.lookup_signatures
report.issues.values
validate_args
bytecode.startswith.startswith
py_ecc.optimized_bn128.is_on_curve
a.annotations.union
exceptions.append
str.split
self.annotations.union
min.extend
UGT
self.conn.close
instruction_mutator
tuple
self._execute_post_hook
self._write_to_graph
value.encode
int.hex
self.issues.values
shutil.copyfile
address.self.sloads_on_path.append
int
solidity_file.data.encode
bytearray
func.sha3.hex
mythril.laser.ethereum.evm_exceptions.StackUnderflowException
Storage
mythril.laser.smt.Bool
subprocess.Popen
get_utilities_parser
mythril.laser.ethereum.util.pop_bitvec
self._set_internal_compiler_error
self.release
self.session.post
self._ostates_unsatisfiable.add
print_function_report
ValueError
state.get_current_instruction
issue.title.issue.address.str.issue.function.issue.contract.encode
args.modules.strip.split
error_msg.split.split
contract.solc_indices.values
self._store_report
self._is_covered
rest.split.split
issubclass
self.println
op_code.endswith
self.sort_and_eliminate_states
contract.split
random.uniform
mythril.laser.smt.Extract
eth._utils.address.generate_contract_address
self.online_lookup_miss.add
TESTDATA_OUTPUTS_CURRENT.mkdir
self.super_strategy.get_strategic_global_state.get_current_instruction
add_graph_commands
requests.Session
STRIP_ANSI.sub.decode
transaction.call_data.concrete
self.sorted_issues
mythril.laser.ethereum.cfg.Edge
mythril.laser.smt.Optimize.add
self._execute_transactions
self.storage_written.get
get_callee_address
self.get_function
argparse.ArgumentParser.add_argument
mythril.laser.smt.BVSubNoUnderflow
IndexError
self._add_dynamic_loading_option
self.dynamic_loader.address.value.global_state.world_state.accounts_exist_or_load.balance
mythril.laser.ethereum.transaction.transaction_models.ContractCreationTransaction.initial_global_state
mythril.laser.ethereum.instruction_data.calculate_sha3_gas
mythril.analysis.module.modules.arbitrary_jump.ArbitraryJump
z3.Select
argparse.FileType
jinja2.Environment.get_template
inv
Constraints.append
self.wanna_execute
solcx.install.get_executable
self.update_sloads
self.raw.index
MultipleSendsAnnotation
int.to_bytes
nodes.append
self.Constraints.super.__add__
SolidityContract
self.raw.pop
configparser.ConfigParser.add_section
float
state.stack.append
mythril.laser.ethereum.transaction.tx_id_manager.get_next_tx_id
code_raw.append
m.group.sha3.hex
find_input.inverse.raw.model.eval.as_long
traceback.format_stack
Storage.items
self._end_message_call
sqlite3.OperationalError
world_state.accounts.values
mythril.mythril.MythrilDisassembler.load_from_bytecode
self._get_covered_instructions
SolidityContract.get_full_contract_src_maps
mythril.laser.ethereum.function_managers.exponent_function_manager.create_condition
mythril.laser.ethereum.evm_exceptions.WriteProtection
self.get_strategic_global_state
self.concrete_hashes.items
size.concrete_hashes.append
mythril.analysis.module.modules.delegatecall.ArbitraryDelegateCall
self._load_detection_module
dynloader.read_balance
z3.Not
get_call_data
self._write_symbolic_returndata
self.cache.add
AccidentallyKillable
os.getenv
_get_expr_variables
ecrecover_to_pub
mythril.analysis.module.ModuleLoader
EvmInstruction
type.get_all_constraints
re.match
BitVec
mythril.analysis.module.modules.integer.IntegerArithmetics
SolverStatistics
re.search
global_state.environment.active_account.set_balance
mythril.analysis.report.Issue
parser.add_argument_group.add_argument
self.source_list.append
hash
self.update_sstores
self.raw.size
mythril.laser.plugin.plugins.plugin_annotations.DependencyAnnotation
mythril.laser.ethereum.instruction_data.calculate_native_gas
strategy
model.eval.as_long
get_ws_dependency_annotation
extract_version
state_annotation.overflowing_state_annotations.add
target.get_current_instruction
bytes.fromhex
self._is_autogenerated_code
STRIP_ANSI.sub.rstrip
solc_exists
repr
mythril.laser.smt.Optimize.set_timeout
mythril.laser.ethereum.transaction.transaction_models.MessageCallTransaction
create_analyzer_parser
DependencyAnnotation
re.search.group
requests.adapters.HTTPAdapter
mythril.mythril.MythrilDisassembler.hash_for_function_signature
self._reset
self.loaded_plugins.append
self.edges.append
mythril.exceptions.IllegalArgumentError
global_state.get_annotations
argparse.ArgumentParser.add_argument_group
self.eth.eth_getCode
truncated_code.replace.replace
transaction.caller.raw.model.eval.as_long.zfill
item.split
self.init_installed_plugins
FileLockException
contracts.append
BoundedLoopsStrategy.get_loop_count
mythril.laser.ethereum.transaction.transaction_models.MessageCallTransaction.initial_global_state
self.laser.register_hooks
mythril.analysis.module.modules.external_calls.ExternalCalls
op_code.hook_dict.append
synchronized
pytest.raises
return_global_state.add_annotations
random.choices
issue.add_code_info
pow
_get_overflowunderflow_state_annotation
symbolic_vm.pre_hook
self.pre_hooks.keys
global_state.mstate.stack.append
mythril.analysis.module.loader.ModuleLoader.register_module
os.open
operation
get_potential_issues_annotation
WorldState
mappings.append
outtxt.append
mythril.solidity.soliditycontract.SolidityContract
InstructionProfiler
round
global_state.mstate.pop
mythril.mythril.MythrilAnalyzer.dump_statespace
m.strip
argparse.ArgumentParser
mythril.analysis.ops.Call
mythril.plugin.discovery.PluginDiscovery.get_plugins
mythril.laser.ethereum.util.get_concrete_int
jinja2.Environment
logging.getLogger.warning
mythril.laser.smt.If.size
index.instruction_list.bytes.hex
coincurve.PublicKey.from_signature_and_message
mythril.laser.smt.bool.And
self.post_hooks.keys
annotation.potential_issues.extend
value.raw.model.eval.as_long
z3.is_false
PredictableValueAnnotation
self.MachineStack.super.__len__
mythril.laser.ethereum.transaction.transaction_models.tx_id_manager.get_next_tx_id
abs
opcode.self.instr_post_hook.append
self.__next__
mythril.analysis.report.Report.append_issue
self._source_hash.append
mythril.disassembler.disassembly.Disassembly
annotation.storage_loaded.add
s.check.append
_InstrExecStatistic
run
logging.getLogger.setLevel
hook
re.match.group
op.self.instr_post_hook.append
mythril.laser.smt.And
mythril.ethereum.util.get_indexed_address
hash_parser.add_argument
mythril.laser.plugin.plugins.CallDepthLimitBuilder
_set_minimisation_constraints
z3.Function
input_file.data.keys
mstate.stack.pop
re.split
z3.Concat.size
mythril.laser.smt.ULE
mythril.laser.ethereum.util.extract32
mythril.analysis.module.modules.state_change_external_calls.StateChangeAfterCall
z3.Sum
self.open_states.append
py_ecc.optimized_bn128.FQ2.one
os.system
LolCat.cat
StateChangeCallsAnnotation
mythril.laser.ethereum.function_managers.keccak_function_manager.get_empty_keccak_hash
PotentialIssuesAnnotation
version.startswith
DependenceMap
TypeError
py_ecc.optimized_bn128.pairing
self.call_on_state_copy
get_dependency_annotation
self._distance
UncheckedRetval
mythril.exceptions.CompilerError
self.__copy__
Memory
typing.cast.size
internal_model.decls
account.pop
self.work_list.pop
json.dump
self.accounts.values
x.startswith
mythril.analysis.module.modules.unchecked_retval.UncheckedRetval
self._execute_pre_hook
print
mythril.analysis.module.loader.ModuleLoader.get_detection_modules
self.Constraints.super.append
array.range.size
element.to_dict
self.laser_plugin_builders.items
safe_ord
min_price_dict.get
mythril.solidity.soliditycontract.get_contracts_from_file
matplotlib.pyplot.xlabel
semantic_version.Version
hex_encoded_string.startswith
mythril.laser.ethereum.state.calldata.SymbolicCalldata
mythril.analysis.potential_issues.check_potential_issues
OverUnderflowStateAnnotation
sys.argv.remove
SolidityContract.get_sources
merged_annotation.annotations_stack.append
self._check_execution_termination
color_map.keys
issues.append
mythril.laser.smt.bitvec.BitVec.size
isinstance.simplify
super.__init__
StateTransition
subparsers.add_parser.add_argument
typing.cast
argparse.ArgumentParser.print_help
d.model.as_long
eth_abi.decode_abi
self.raw.set
WorldState.put_account
line.rstrip
Issue.resolve_input
state.get_current_instruction.lower
f.read
TransactionEndSignal
symbolic_vm.laser_hook
self.ansi
subprocess.Popen.communicate
self._normalize_byte_sig
edges.append
mythril.support.opcodes.OPCODES.keys
configparser.ConfigParser
mythril.mythril.MythrilAnalyzer.fire_lasers
args.code.startswith
get_creation_input_parser
self.contracts.append
laser_evm.exec
file_path.solc_json.values
self._distance.sort
subprocess.check_output
mythril.analysis.module.base.Issue
self._execute_post_hooks
mythril.exceptions.CriticalError
unsat_potential_issues.append
annotation.trace.append
min
transaction.get
state_accounts.append
self.MachineStack.super.__getitem__
pathlib.Path
bytes
py_ecc.optimized_bn128.multiply
op_code.self.pre_hooks.append
world_state.accounts_exist_or_load
self.source.get_source_from_contracts_list
disassemble
set.add
TxOrigin
os.urandom.binascii.b2a_hex.decode
extract_nodes
packages.append
traceback.format_exc
self.session.post.json
constraints.copy
IssueAnnotation
ArbitraryDelegateCall
self._calldata_copy_helper
z3.If.range
self.instruction_coverage_plugin.is_instruction_covered
random.randrange
mythril.laser.smt.Or
l.strip
logging.getLogger.info
z3.BVAddNoOverflow
mythril.laser.plugin.plugins.InstructionProfilerBuilder
mythril.mythril.MythrilDisassembler.load_from_solidity
m.group.replace
val.to_bytes
get_function_info
self.disassembly.get_easm
self.Constraints.super.__init__
get_requirements
self._add_default_options
argparse.ArgumentParser.parse_args
mythril.laser.plugin.plugins.plugin_annotations.WSDependencyAnnotation
args.storage_slots.strip.split
address.self.sstores_on_path.append
Report.environment.get_template.render
UnsupportedPluginType
global_state.world_state.transaction_sequence.append
get_output_parser
operator.itemgetter
mythril.support.support_utils.zpad
StateChangeAfterCall._balance_change
self.rainbow
Constraints
mythril.laser.ethereum.cfg.Node
self.storage_accessed_global.add
exceptions.BadJsonError
len
mstate.stack.append
self._load_default_enabled
self.domain.append
OldBlockNumberUsedAnnotation
expression.simplify
_InstrExecRecord
configparser.ConfigParser.has_option
self._annotations.add
self._check_create_termination
self.issues.items
generate_function_constraints.append
CallDepthLimit
RuntimeError
execute_message_call
mythril.support.model.get_model.eval
meta_data.update
StateChangeAfterCall
TESTDATA_OUTPUTS_CURRENT_LASER_RESULT.mkdir
mythril.laser.ethereum.state.constraints.Constraints.append
mythril.support.model.get_model
mythril.analysis.module.module_helpers.is_prehook
add_analysis_args
PredictableVariables
mythril.laser.plugin.plugins.DependencyPrunerBuilder
offset.bytes.hex
super
self.set_api_rpc_infura
mythril.analysis.callgraph.generate_graph
z3.simplify
other.storage_written.get
self.storage_written.keys
py_ecc.optimized_bn128.final_exponentiate
eval
final_states.append
Account
self._generate_new_address
UncheckedRetvalAnnotation
MutationPruner
flip_branches.append
setup_concrete_initial_state
world_state_annotation.annotations_stack.append
self.dynld.read_storage
list.items
re.compile
self.output.write
exit_with_error
args.storage_slots.strip
solcx.set_solc_version
bytes_data.hashlib.sha256.digest
StateChangeAfterCall._add_external_call
modules.append
start_signal.transaction.initial_global_state
jinja2.select_autoescape
concrete_input.size
self.buckets.append
mythril.support.support_utils.rzpad
DependenceMap.add_condition
mythril.laser.ethereum.util.get_concrete_int.append
set
cur.fetchall
func_input.size
mythril.laser.smt.symbol_factory.BitVecVal
self.raw
StateTransition.check_gas_usage_limit
a.strip
mythril.laser.ethereum.natives.native_contracts
r.end_time.timestamp
mythril.laser.ethereum.state.memory.Memory
mythril.analysis.module.modules.dependence_on_origin.TxOrigin
call_offsets.append
code.bytearray.hex
mythril.laser.plugin.loader.LaserPluginLoader.add_args
jinja2.PackageLoader
child.get
f
analyzer_parser.add_argument_group.add_argument
self.session.mount
logging.getLogger.error
mythril.laser.smt.SRem
generate_function_constraints
self._get_args
matplotlib.pyplot.axis
utils.output_of
ret_lis.append
eth._utils.numeric.ceil32
self.check_gas_usage_limit
mythril.exceptions.DetectorNotFoundError
hashlib.md5.update
_setup_global_state_for_execution
mythril.support.source_support.Source.get_source_from_contracts_list
mythril.support.signatures.SignatureDB
self.raw.add
eth._utils.bn128.validate_point
get_rpc_parser
set.key.self.storage_written.get.union
self._load
eth_abi.decode_single
get_callee_account
mythril.laser.plugin.plugins.CoveragePluginBuilder
vulnerabilities.append
mythril.laser.plugin.loader.LaserPluginLoader.load
exceptions.BadStatusCodeError
mythril.laser.smt.Not
datetime.datetime.now
self.beam_priority
address.symbol_factory.BitVecVal.initial_world_state.starting_balances.raw.model.eval.as_long
mythril.laser.smt.BVAddNoOverflow
ostate.get_current_instruction
pkg_resources.iter_entry_points
self.get_current_instruction
format
KeccakFunctionManager
MultipleSends
self.size
result.extend
instruction_list.append
mythril.mythril.MythrilAnalyzer
get_state_accounts
index.instruction_list.bytes.hex.rjust
mythril.laser.ethereum.state.global_state.GlobalState
mythril.laser.plugin.loader.LaserPluginLoader
logging.debug
eth_hash.auto.keccak
mythril.laser.ethereum.state.account.Account
global_state.annotate
val.simplify.value.to_bytes
_padded_operation
self._make_bitvec_if_not
self.println_plain
json.loads.get
op0.annotate
bytearray_to_int
os.getcwd
op_code.self.post_hooks.append
TxOriginAnnotation
self.installed_plugins.get
os.path.realpath
os.urandom
mythril.disassembler.asm.instruction_list_to_easm
self.solidity_sigs.get
z3.BitVecSort
a1.check_merge_annotation
global_state.new_bitvec
mythril.laser.smt.bool.Or
r.start_time.timestamp
pytest.mark.parametrize
mythril.analysis.module.modules.user_assertions.UserAssertions
op_code.entrypoint.extend
self._get_smt_bool_list
self.op_code.lower
self.memory.extend
mythril.analysis.module.modules.ether_thief.EtherThief
self.calls.append
contract_hash_to_address
retvals.append
IntegerArithmetics
bytes_data.hashlib.new.digest
self.set_api_rpc
edge.condition.simplify.str.replace
version_line.re.search.group
self.simplify
mythril.analysis.module.modules.arbitrary_write.ArbitraryStorage
self._set_rpc
SolidityFile
mythril.mythril.MythrilDisassembler.get_state_variable_from_storage
os.path.abspath
str
mythril.laser.smt.Array
data.binascii.b2a_hex.decode
analyzer.fire_lasers.as_swc_standard_format
setuptools.find_packages
insert_ret_val
mythril.laser.smt.UGE
Variable
self.increment_states_pc
a.size
inverse
_z3_array_converter
line.strip.split
type
functools.wraps
self.super_strategy.get_strategic_global_state
getattr
self.func_hashes.append
mythril.laser.ethereum.transaction.TransactionStartSignal
self.update_cache
logging.getLogger.critical
copy.copy.get_current_instruction
mythril.laser.ethereum.transaction.transaction_models.tx_id_manager.restart_counter
mythril.ethereum.evmcontract.EVMContract
self._execute
mythril.analysis.potential_issues.get_potential_issues_annotation.get_issue
configparser.ConfigParser.read
SignatureDB
datetime.timedelta
coloredlogs.install
self._add_world_state
os.path.join
collections.namedtuple
TraceAnnotation
TxIdManager
os.environ.get.endswith
os.environ.get
self.raw.reset
self._get_exception_data
power
Exceptions
z3.Solver
self.compare_files_error_message
self.add_block_data
z3.K
self._get_solc_mappings
z3.And
nonce.creator.generate_contract_address.hex
json.load.update
int_to_32bytearray
self.is_installed
state.annotate
self.balance
mythril.mythril.MythrilAnalyzer.graph_html
re.compile.sub
collections.defaultdict
potential_issue.detector.issues.append
self._execute_pre_hooks
minimize.append
mythril.laser.smt.model.Model
logging.getLogger.debug
self._normalize_byte_sig.startswith
contract.items
global_state.get_current_instruction
sys.path.insert
data.value.to_bytes
state.get_current_instruction.upper
NAME.lower.replace.replace
typing.TypeVar
operator
set_config
expression.children
disassembler.contracts.get_easm
trace_data.keys
z3.Xor
utils.validate_block
int.from_bytes
mythril.support.source_support.Source
mythril.laser.ethereum.util.concrete_int_from_bytes
main
mythril.laser.ethereum.util.extract32.to_bytes
hex
state.world_state.get_annotations
ArbitraryJump
z3.substitute
self.init_mythril_dir
self.raw.as_long
self.raw.maximize
super.__or__
mythril.laser.ethereum.evm_exceptions.VmException
TxIdManager.get_next_tx_id
self.assign_bytecode
py_ecc.secp256k1.ecdsa_raw_recover
ArbitraryStorage
concrete_data.items
enumerate
self.super_strategy.get_strategic_global_state.annotate
environment.calldata.get_word_at
self._file_name
mythril.laser.ethereum.transaction.execute_contract_creation
mythril.laser.smt.Solver.set_timeout
mythril.laser.ethereum.function_managers.keccak_function_manager.reset
self.lookup_online
bytes.hex
mythril.laser.ethereum.evm_exceptions.StackOverflowException
trace_data.values
edge.condition.str.replace
is_unique_jumpdest
mythril.laser.ethereum.function_managers.keccak_function_manager.get_concrete_hash_data
self.constraints.extend
self.execute_state
os.close
mythril.analysis.potential_issues.PotentialIssue
cls.Singleton.super.__call__
self.add
ExponentFunctionManager
self.source.get_source_index
entry_point.load
mythril.analysis.module.reset_callback_modules
concrete_transactions.append
eth_utils.big_endian_to_int
mythril.concolic.find_trace.concrete_execution
encode_int32
z3.Concat
sum
self.output.flush
self._load_laser_plugin
json.loads
create_read_storage_parser
re.sub.split
Actors
transaction.caller.raw.model.eval.as_long
re.sub.replace
self.get
z3.BitVec
global_state.environment.active_account.balance
mythril.laser.smt.simplify
mythril.laser.smt.is_false
self.check_completion_criterion
extract_edges
sys.exit
logging.getLogger
mythril.laser.plugin.loader.LaserPluginLoader.instrument_virtual_machine
mythril.analysis.security.fire_lasers
set_config.set_api_rpc
key.size
self._analyze_state
symbolic_vm.instr_hook
idx.self.solc_indices.data.encode
mythril.laser.smt.If
mythril.analysis.solver.get_transaction_sequence
op_code.self.records.append
z3.is_true
mythril.laser.smt.Function
sys.stdout.write
create_hash_to_addr_parser
internal_model.eval
self.records.items
model.eval
address.PRECOMPILE_FUNCTIONS
copy.copy
zip
mythril.laser.smt.UGT
matplotlib.pyplot.plot
mythril.laser.ethereum.strategy.basic.BasicSearchStrategy.__init__
mythril.laser.ethereum.transaction.transaction_models.ContractCreationTransaction
mythril.analysis.module.ModuleLoader.get_detection_modules
mythril.analysis.module.modules.dependence_on_predictable_vars.PredictableVariables
mythril.support.lock.LockFile
blake2b.compress
new_node.states.append
MachineState
mythril.laser.ethereum.state.return_data.ReturnData
world_state_annotation.annotations_stack.pop

@developer
Could please help me check this issue?
May I pull a request to fix it?
Thank you very much.
@norhh
Copy link
Collaborator

norhh commented Oct 26, 2022

Hi @PyDeps
Yes, that should be helpful. Feel free to open a Pull Request.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@norhh @PyDeps