You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Major Updates
Reworks and additions
Slitherin Arbitrum: New Slitherin custom plugin (--arbitrum) which includes 3 Arbitrum-specific security detectors. Thx @Yhtiyar and @olegggatttor.
pess-arb-solidity-version detector: New Arbitrum-specific detector which spots usage of block.number and block.timestamp.
pess-arb-prevrandao-difficulty detector: New Arbitrum-specific detector which spots usage of prevRandao/difficulty.
pess-arb-solidity-version detector: New Arbitrum-specific detector which spots usage of solidity version >= 0.8.20.
pess-potential-arithmetic-overflow detector: New detector. The detector sees if there are assignments/returns that calculate some arithmetic expressions and if some intermediate calculations contain a type that is lower than the expected result. Thx @olegggatttor.
pess-aave-flashloan-callback detector: Improvement. Now detector also spots the callback cases of Uniswap V3. Thx @Yhtiyar.
Slitherin-benchmark. We created a benchmark with database of contracts on which we run our detectors and measure the FP rates. Thx @nikolay19