Skip to content

Pool (Aave V3)

Audit Snapshot

  • Status: ✅ pass
  • Source type: npm
  • Source path: third_party/famous-contracts/sources/@aave/core-v3/contracts/protocol/pool/Pool.sol
  • Primary issue: No primary issue recorded.
  • Audit corpus size: 98 contracts

Diagnostics

Total diagnostics captured: 1410

By Severity

SeverityCount
warning1409
error1

Most Common Codes

CodeCountExample
W200924function 'setLtv' in 'IncentivizedERC20' overrides 'Context::setLtv' which is not marked 'virtual'
W121476duplicate constant state variable 'BORROWING_MASK' detected while merging libraries
MANIFEST_WILDCARD_CONTRACT5contract 'VersionedInitializable' requires wildcard contract manifest permissions (contract='*') due to dynamic contract calls. This is riskier than fixed contract hashes; use --deny-wildcard-contracts to make this a hard error.
RAW1[info][NEP-17] NEP-17 transfer method has 2 parameter(s), spec expects 4. See STANDARDS_MAPPING.md for details.
VALIDATION_WARNING1abstract contract 'VersionedInitializable' has 1 unimplemented function(s): [getRevision]
W1011function 'transfer' has 2 parameters (ERC-20 pattern). NEP-17 requires 4 parameters: transfer(from, to, amount, data). The from address is verified via Runtime.checkWitness() and data (type Any) is forwarded to the recipient's onNEP17Payment callback.
W1031ERC-20 method(s) [approve, allowance, transferfrom] detected. These are not part of the NEP-17 spec; Neo uses Runtime.checkWitness() for authorization instead of the approve/allowance pattern. You may keep them as extensions, but they will not contribute to NEP-17 standard detection.
W1131Contract has transfer function but no onNEP17Payment callback. Other contracts cannot send tokens to this contract.

Source diagnostic payload: docs/data/famous-contracts-audit-results.json.

References

MIT Licensed