Unrestricted but private setter used only in restricted function considered "unrestricted write"

[hiqua]

pragma solidity ^0.4.23;
contract A {
  uint a;
  address owner = 0x134;
  modifier onlyOwner{
    require(msg.sender == owner);
    _;
  }
  function d(uint _a) onlyOwner{
    set(_a);
  }
  function set(uint  _a) private{
    a = _a;
  }
}

[hiqua]

Still relevant.

[hiqua]

It seems Securify consider that any JUMPDEST indicates a public function, although we should check whether there has been some comparison to some signature before that.