Skip to content

Call options not called detector#

Reports when a function call option (gas, salt or value) is used but the corresponding function is not called. Both old-style syntax .value(...) and new-style syntax {value: ...} are supported.

Example#

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
pragma solidity ^0.6.0;

contract Example {
    function withdraw() external {
        msg.sender.call{value: address(this).balance}; // (1)!
    }

    function withdraw2() external {
        msg.sender.call.value(address(this).balance); // (2)!
    }
}
  1. The value call option is used but the low-level call function is not called.
  2. The value call option is used but the low-level call function is not called.

Parameters#

The detector does not accept any additional parameters.