report.md

Aderyn Analysis Report

This report was generated by Aderyn, a static analysis tool built by Cyfrin, a blockchain security company. This report is not a substitute for manual audit or security review. It should not be relied upon for any purpose other than to assist in the identification of potential security vulnerabilities.

Table of Contents

• Summary
  • Files Summary
  • Files Details
  • Issue Summary
• Low Issues
  • L-1: Solidity pragma should be specific, not wide
  • L-2: PUSH0 is not supported by all chains

Summary

Files Summary

Key	Value
.sol Files	6
Total nSLOC	410

Files Details

Filepath	nSLOC
src/AjnaPoker.sol	198
src/interfaces/AggregatorV3Interface.sol	14
src/interfaces/IOpsProxy.sol	6
src/interfaces/IPool.sol	4
src/interfaces/IPoolLenderActions.sol	16
src/interfaces/IPoolState.sol	172
Total	410

Issue Summary

Category	No. of Issues
High	0
Low	2

Low Issues

L-1: Solidity pragma should be specific, not wide

Consider using a specific version of Solidity in your contracts instead of a wide version. For example, instead of pragma solidity ^0.8.0;, use pragma solidity 0.8.0;

• Found in src/AjnaPoker.sol Line: 7

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/AggregatorV3Interface.sol Line: 2

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/IOpsProxy.sol Line: 2

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/IPool.sol Line: 2

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/IPoolLenderActions.sol Line: 3

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/IPoolState.sol Line: 3

   pragma solidity >0.8.0 <0.9.0;

L-2: PUSH0 is not supported by all chains

Solc compiler version 0.8.20 switches the default target EVM version to Shanghai, which means that the generated bytecode will include PUSH0 opcodes. Be sure to select the appropriate EVM version in case you intend to deploy on a chain other than mainnet like L2 chains that may not support PUSH0, otherwise deployment of your contracts will fail.

• Found in src/AjnaPoker.sol Line: 7

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/AggregatorV3Interface.sol Line: 2

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/IOpsProxy.sol Line: 2

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/IPool.sol Line: 2

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/IPoolLenderActions.sol Line: 3

   pragma solidity >0.8.0 <0.9.0;

• Found in src/interfaces/IPoolState.sol Line: 3

   pragma solidity >0.8.0 <0.9.0;