Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
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.
 
 
 
 
 
 
mythril/tests/testdata/outputs_expected/kinds_of_calls.sol.o.markdown

2.9 KiB

Analysis results for test-filename.sol

Unchecked Call Return Value

  • SWC ID: 104
  • Severity: Low
  • Contract: Unknown
  • Function name: _function_0x141f32ff
  • PC address: 618
  • Estimated Gas Usage: 1113 - 35865

Description

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

Description

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.

Delegatecall Proxy To User-Supplied Address

  • SWC ID: 112
  • Severity: Medium
  • Contract: Unknown
  • Function name: _function_0x9b58bc26
  • PC address: 849
  • Estimated Gas Usage: 1176 - 35928

Description

The contract delegates execution to another contract with a user-supplied address. The smart contract delegates execution to a user-supplied address. Note that callers can execute arbitrary contracts and that the callee contract can access the storage of the calling contract.

Unchecked Call Return Value

  • SWC ID: 104
  • Severity: Low
  • Contract: Unknown
  • Function name: _function_0x9b58bc26
  • PC address: 849
  • Estimated Gas Usage: 1176 - 35928

Description

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

Description

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

Description

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.