search

crytic / slither-action

GNU Affero General Public License v3.0
128 stars 20 forks source link

Error with pragma detector #86

Closed vittominacori closed 6 months ago

vittominacori commented 6 months ago

Starting from some weeks pragma detector start saying that:

- Version constraint >=0.6.0 is used by:
    - contracts-exposed/SampleContract.sol#3
    - contracts-exposed/mocks/ERC20Mock.sol#3
    - contracts-exposed/mocks/ERC721Mock.sol#3

I used hardhat-exposed. But there was no issue before. Folders are also excluded by path. It seems that the only difference with previous working jobs is that now the action uses slither_analyzer-0.10.2.

Check this job/24257514264.

And this is the config:

{
  "detectors_to_run": "arbitrary-send-erc20,array-by-reference,incorrect-shift,name-reused,rtlo,suicidal,uninitialized-state,uninitialized-storage,arbitrary-send-erc20-permit,controlled-array-length,controlled-delegatecall,delegatecall-loop,msg-value-loop,reentrancy-eth,unchecked-transfer,weak-prng,domain-separator-collision,erc20-interface,erc721-interface,locked-ether,mapping-deletion,shadowing-abstract,tautology,write-after-write,boolean-cst,reentrancy-no-eth,reused-constructor,tx-origin,unchecked-lowlevel,unchecked-send,variable-scope,void-cst,events-access,events-maths,incorrect-unary,boolean-equal,cyclomatic-complexity,deprecated-standards,erc20-indexed,function-init-state,pragma,unused-state,reentrancy-unlimited-gas,constable-states,immutable-states,var-read-using-this",
  "filter_paths": "contracts/mocks,contracts-exposed",
  "compile_force_framework": "hardhat"
}

Should be related to https://github.com/crytic/slither/issues/2415.

0xalpharush commented 6 months ago

Thanks for letting us know! This is the same issues as https://github.com/crytic/slither/issues/2415 so we'll track there