Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

v0.6.0 #129

Merged
merged 61 commits into from
Feb 15, 2024
Merged

v0.6.0 #129

merged 61 commits into from
Feb 15, 2024

Conversation

ndkirillov
Copy link
Collaborator

@ndkirillov ndkirillov commented Feb 15, 2024

Major Updates

Reworks and additions

  1. Slitherin Arbitrum: New Slitherin custom plugin (--arbitrum) which includes 3 Arbitrum-specific security detectors. Thx @Yhtiyar and @olegggatttor.
  2. pess-arb-solidity-version detector: New Arbitrum-specific detector which spots usage of block.number and block.timestamp.
  3. pess-arb-prevrandao-difficulty detector: New Arbitrum-specific detector which spots usage of prevRandao/difficulty.
  4. pess-arb-solidity-version detector: New Arbitrum-specific detector which spots usage of solidity version >= 0.8.20.
  5. 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.
  6. pess-aave-flashloan-callback detector: Improvement. Now detector also spots the callback cases of Uniswap V3. Thx @Yhtiyar.
  7. Slitherin-benchmark. We created a benchmark with database of contracts on which we run our detectors and measure the FP rates. Thx @nikolay19

Crucial Fixes

  1. pess-ecrecover detector: Bug fix. Handles solidity types properly. Thx @olegggatttor.
  2. Slitherin CLI: Improvement. Now handles errors properly. Thx @Yhtiyar.

Minor Updates and Optimization

Minor Fixes

  1. pess-strange-setter detector. Optimization. Less FP. Thx @olegggatttor.
  2. pess-unprotected-initialize detector. Optimization. Less FP. Thx @olegggatttor.
  3. pess-call-forward-to-protected detector. Optimization. Less FP. Skips standard libraries (OZ/Uniswap/Balancer). Thx @olegggatttor.
  4. pess-public-vs-external detector. Optimization. Less FP. Skips constructor functions. Thx @olegggatttor.

Nikita Kirillov and others added 30 commits December 8, 2023 15:01
…-function-detectors-triggers-on-constructor

Add check that the function is not a constructor
…ies-in-pess-call-forward-to-protected

Exclude oz/uni/balancer FPs from pess-call-forward-to-protected
olegggatttor and others added 27 commits January 19, 2024 18:39
Reduce the number of FPs on pess-ecrecover
…variables are used. Do not detected setters that use parameters for external calls
…etter

Reduce number of FPs of pess strange setter detector
…etector

Add arithmetic overflow detector and improve unprotected initializer detector
Copy link
Contributor

@olegggatttor olegggatttor left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@ndkirillov ndkirillov merged commit 602d078 into master Feb 15, 2024
2 checks passed
@ndkirillov ndkirillov deleted the develop branch February 15, 2024 10:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants