mirror of https://github.com/ConsenSys/mythril
blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
55 lines
2.4 KiB
55 lines
2.4 KiB
==== Unchecked Call Return Value ====
|
|
SWC ID: 104
|
|
Severity: Low
|
|
Contract: Unknown
|
|
Function name: _function_0x141f32ff
|
|
PC address: 618
|
|
Estimated Gas Usage: 1113 - 35865
|
|
The return value of a message call is not checked.
|
|
External calls return a boolean value. If the callee contract halts with an exception, 'false' is returned and execution continues in the caller. It is usually recommended to wrap external calls into a require statement to prevent unexpected states.
|
|
--------------------
|
|
|
|
==== Use of callcode ====
|
|
SWC ID: 111
|
|
Severity: Medium
|
|
Contract: Unknown
|
|
Function name: _function_0x141f32ff
|
|
PC address: 618
|
|
Estimated Gas Usage: 389 - 1141
|
|
Use of callcode is deprecated.
|
|
The callcode method executes code of another contract in the context of the caller account. Due to a bug in the implementation it does not persist sender and value over the call. It was therefore deprecated and may be removed in the future. Use the delegatecall method instead.
|
|
--------------------
|
|
|
|
==== Unchecked Call Return Value ====
|
|
SWC ID: 104
|
|
Severity: Low
|
|
Contract: Unknown
|
|
Function name: _function_0x9b58bc26
|
|
PC address: 849
|
|
Estimated Gas Usage: 1176 - 35928
|
|
The return value of a message call is not checked.
|
|
External calls return a boolean value. If the callee contract halts with an exception, 'false' is returned and execution continues in the caller. It is usually recommended to wrap external calls into a require statement to prevent unexpected states.
|
|
--------------------
|
|
|
|
==== External Call To User-Supplied Address ====
|
|
SWC ID: 107
|
|
Severity: Medium
|
|
Contract: Unknown
|
|
Function name: _function_0xeea4c864
|
|
PC address: 1038
|
|
Estimated Gas Usage: 477 - 1229
|
|
A call to a user-supplied address is executed.
|
|
The callee address of an external message call can be set by the caller. Note that the callee can contain arbitrary code and may re-enter any function in this contract. Review the business logic carefully to prevent averse effects on the contract state.
|
|
--------------------
|
|
|
|
==== Unchecked Call Return Value ====
|
|
SWC ID: 104
|
|
Severity: Low
|
|
Contract: Unknown
|
|
Function name: _function_0xeea4c864
|
|
PC address: 1038
|
|
Estimated Gas Usage: 1201 - 35953
|
|
The return value of a message call is not checked.
|
|
External calls return a boolean value. If the callee contract halts with an exception, 'false' is returned and execution continues in the caller. It is usually recommended to wrap external calls into a require statement to prevent unexpected states.
|
|
--------------------
|
|
|
|
|