@snovon/solast 0.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +201 -0
- package/README.md +190 -0
- package/dist/api.d.ts +89 -0
- package/dist/api.js +33 -0
- package/dist/ast/resolve-return-names.d.ts +2 -0
- package/dist/ast/resolve-return-names.js +199 -0
- package/dist/ast/solc-walker.d.ts +17 -0
- package/dist/ast/solc-walker.js +497 -0
- package/dist/ast/storage-layout.d.ts +21 -0
- package/dist/ast/storage-layout.js +64 -0
- package/dist/cli.d.ts +65 -0
- package/dist/cli.js +755 -0
- package/dist/config.d.ts +9 -0
- package/dist/config.js +284 -0
- package/dist/dedup/files.d.ts +1 -0
- package/dist/dedup/files.js +74 -0
- package/dist/dedup/findings.d.ts +41 -0
- package/dist/dedup/findings.js +211 -0
- package/dist/detectors/_common/access-control.d.ts +204 -0
- package/dist/detectors/_common/access-control.js +377 -0
- package/dist/detectors/_common/ast.d.ts +139 -0
- package/dist/detectors/_common/ast.js +239 -0
- package/dist/detectors/_common/compiler-profile.d.ts +14 -0
- package/dist/detectors/_common/compiler-profile.js +66 -0
- package/dist/detectors/_common/dataflow.d.ts +75 -0
- package/dist/detectors/_common/dataflow.js +57 -0
- package/dist/detectors/_common/fhe.d.ts +7 -0
- package/dist/detectors/_common/fhe.js +40 -0
- package/dist/detectors/_common/integer-overflow-helpers.d.ts +58 -0
- package/dist/detectors/_common/integer-overflow-helpers.js +422 -0
- package/dist/detectors/_common/loop-call-stack.d.ts +9 -0
- package/dist/detectors/_common/loop-call-stack.js +132 -0
- package/dist/detectors/_common/oracle.d.ts +5 -0
- package/dist/detectors/_common/oracle.js +64 -0
- package/dist/detectors/_common/price-rate.d.ts +116 -0
- package/dist/detectors/_common/price-rate.js +446 -0
- package/dist/detectors/_common/source-text.d.ts +11 -0
- package/dist/detectors/_common/source-text.js +82 -0
- package/dist/detectors/_common/weighted-pool-invariant.d.ts +21 -0
- package/dist/detectors/_common/weighted-pool-invariant.js +105 -0
- package/dist/detectors/aave-v2-reentrancy.d.ts +7 -0
- package/dist/detectors/aave-v2-reentrancy.js +286 -0
- package/dist/detectors/access-control.d.ts +103 -0
- package/dist/detectors/access-control.js +983 -0
- package/dist/detectors/add-reentrancy-on-weth-contract.d.ts +7 -0
- package/dist/detectors/add-reentrancy-on-weth-contract.js +536 -0
- package/dist/detectors/ai-generated-randomness.d.ts +32 -0
- package/dist/detectors/ai-generated-randomness.js +239 -0
- package/dist/detectors/amm-spot-oracle-manipulation.d.ts +52 -0
- package/dist/detectors/amm-spot-oracle-manipulation.js +420 -0
- package/dist/detectors/analyzing-the-uniswap-v3-exploit.d.ts +26 -0
- package/dist/detectors/analyzing-the-uniswap-v3-exploit.js +279 -0
- package/dist/detectors/any-token-is-destroyed.d.ts +34 -0
- package/dist/detectors/any-token-is-destroyed.js +527 -0
- package/dist/detectors/anyswap-anytoken-permit-allowance-drain.d.ts +7 -0
- package/dist/detectors/anyswap-anytoken-permit-allowance-drain.js +524 -0
- package/dist/detectors/anyswap-insufficient-token-validation.d.ts +24 -0
- package/dist/detectors/anyswap-insufficient-token-validation.js +342 -0
- package/dist/detectors/approval-based-drain.d.ts +7 -0
- package/dist/detectors/approval-based-drain.js +772 -0
- package/dist/detectors/arbitrary-account-balance-transfer.d.ts +7 -0
- package/dist/detectors/arbitrary-account-balance-transfer.js +485 -0
- package/dist/detectors/arbitrary-address-spoofing-attack.d.ts +7 -0
- package/dist/detectors/arbitrary-address-spoofing-attack.js +444 -0
- package/dist/detectors/arbitrary-address-spoofing.d.ts +9 -0
- package/dist/detectors/arbitrary-address-spoofing.js +657 -0
- package/dist/detectors/arbitrary-call-error.d.ts +127 -0
- package/dist/detectors/arbitrary-call-error.js +1163 -0
- package/dist/detectors/arbitrary-call.d.ts +4 -0
- package/dist/detectors/arbitrary-call.js +11 -0
- package/dist/detectors/arbitrary-delegatecall-target.d.ts +35 -0
- package/dist/detectors/arbitrary-delegatecall-target.js +554 -0
- package/dist/detectors/arbitrary-recipient-no-access-control.d.ts +7 -0
- package/dist/detectors/arbitrary-recipient-no-access-control.js +638 -0
- package/dist/detectors/arbitrary-storage-proof-forgery.d.ts +35 -0
- package/dist/detectors/arbitrary-storage-proof-forgery.js +340 -0
- package/dist/detectors/arbitrary-transfer-from.d.ts +38 -0
- package/dist/detectors/arbitrary-transfer-from.js +339 -0
- package/dist/detectors/arbitrum-cross-chain-message-replay.d.ts +22 -0
- package/dist/detectors/arbitrum-cross-chain-message-replay.js +477 -0
- package/dist/detectors/avs-slashing-without-quorum-check.d.ts +50 -0
- package/dist/detectors/avs-slashing-without-quorum-check.js +386 -0
- package/dist/detectors/bad-debt-propagation.d.ts +13 -0
- package/dist/detectors/bad-debt-propagation.js +480 -0
- package/dist/detectors/bad-k-value-verification.d.ts +7 -0
- package/dist/detectors/bad-k-value-verification.js +512 -0
- package/dist/detectors/bad-randomness-zero-blockhash.d.ts +29 -0
- package/dist/detectors/bad-randomness-zero-blockhash.js +115 -0
- package/dist/detectors/balancer-flash-loan-manipulation.d.ts +33 -0
- package/dist/detectors/balancer-flash-loan-manipulation.js +178 -0
- package/dist/detectors/balancer-pause-guard.d.ts +33 -0
- package/dist/detectors/balancer-pause-guard.js +307 -0
- package/dist/detectors/balancer-weighted-pool-flash-loan.d.ts +42 -0
- package/dist/detectors/balancer-weighted-pool-flash-loan.js +275 -0
- package/dist/detectors/batch-transfer-overflow.d.ts +7 -0
- package/dist/detectors/batch-transfer-overflow.js +465 -0
- package/dist/detectors/beneficiary-validation.d.ts +7 -0
- package/dist/detectors/beneficiary-validation.js +696 -0
- package/dist/detectors/borrow-behalf-consent.d.ts +7 -0
- package/dist/detectors/borrow-behalf-consent.js +400 -0
- package/dist/detectors/break-continue-scope.d.ts +7 -0
- package/dist/detectors/break-continue-scope.js +194 -0
- package/dist/detectors/bridge-accounting-bypass.d.ts +65 -0
- package/dist/detectors/bridge-accounting-bypass.js +449 -0
- package/dist/detectors/bridge-business-logic-flaw-incorrect-acc.d.ts +43 -0
- package/dist/detectors/bridge-business-logic-flaw-incorrect-acc.js +394 -0
- package/dist/detectors/bridge-collateral-drain.d.ts +7 -0
- package/dist/detectors/bridge-collateral-drain.js +630 -0
- package/dist/detectors/bridge-forged-proof.d.ts +7 -0
- package/dist/detectors/bridge-forged-proof.js +754 -0
- package/dist/detectors/bridge-missing-message-nonce.d.ts +57 -0
- package/dist/detectors/bridge-missing-message-nonce.js +638 -0
- package/dist/detectors/bridge-swap-metapool-attack.d.ts +20 -0
- package/dist/detectors/bridge-swap-metapool-attack.js +230 -0
- package/dist/detectors/business-logic-flaw-flashloan-price-mani.d.ts +7 -0
- package/dist/detectors/business-logic-flaw-flashloan-price-mani.js +353 -0
- package/dist/detectors/business-logic-flaw-incorrect-recipient-balance.d.ts +7 -0
- package/dist/detectors/business-logic-flaw-incorrect-recipient-balance.js +403 -0
- package/dist/detectors/business-logic-flaw.d.ts +21 -0
- package/dist/detectors/business-logic-flaw.js +339 -0
- package/dist/detectors/business-logic.d.ts +17 -0
- package/dist/detectors/business-logic.js +22 -0
- package/dist/detectors/bypassed-insolvency-check.d.ts +30 -0
- package/dist/detectors/bypassed-insolvency-check.js +232 -0
- package/dist/detectors/bytecode-divergence-risk.d.ts +32 -0
- package/dist/detectors/bytecode-divergence-risk.js +150 -0
- package/dist/detectors/cache-array-length.d.ts +30 -0
- package/dist/detectors/cache-array-length.js +177 -0
- package/dist/detectors/cache-storage-reads.d.ts +46 -0
- package/dist/detectors/cache-storage-reads.js +323 -0
- package/dist/detectors/calldata-secret-access-control.d.ts +36 -0
- package/dist/detectors/calldata-secret-access-control.js +446 -0
- package/dist/detectors/capital-cross-contract-reentrancy.d.ts +34 -0
- package/dist/detectors/capital-cross-contract-reentrancy.js +481 -0
- package/dist/detectors/cartel-custom-approval-logic.d.ts +7 -0
- package/dist/detectors/cartel-custom-approval-logic.js +407 -0
- package/dist/detectors/ccip-receiver-missing-replay-guard.d.ts +22 -0
- package/dist/detectors/ccip-receiver-missing-replay-guard.js +413 -0
- package/dist/detectors/chain-coupling-risk.d.ts +8 -0
- package/dist/detectors/chain-coupling-risk.js +203 -0
- package/dist/detectors/chainlink-deprecated-function.d.ts +7 -0
- package/dist/detectors/chainlink-deprecated-function.js +205 -0
- package/dist/detectors/chainlink-tx-origin.d.ts +7 -0
- package/dist/detectors/chainlink-tx-origin.js +363 -0
- package/dist/detectors/check-effects-interactions.d.ts +39 -0
- package/dist/detectors/check-effects-interactions.js +783 -0
- package/dist/detectors/check-permit-missing-chainid.d.ts +27 -0
- package/dist/detectors/check-permit-missing-chainid.js +456 -0
- package/dist/detectors/classic-reentrancy.d.ts +93 -0
- package/dist/detectors/classic-reentrancy.js +645 -0
- package/dist/detectors/coinbase-morpho-wethloan-policy.d.ts +29 -0
- package/dist/detectors/coinbase-morpho-wethloan-policy.js +368 -0
- package/dist/detectors/compoundv2-inflation-attack.d.ts +7 -0
- package/dist/detectors/compoundv2-inflation-attack.js +675 -0
- package/dist/detectors/constructor-address-validation.d.ts +24 -0
- package/dist/detectors/constructor-address-validation.js +335 -0
- package/dist/detectors/constructor-interface-no-address-validation.d.ts +32 -0
- package/dist/detectors/constructor-interface-no-address-validation.js +283 -0
- package/dist/detectors/cross-chain-arbitrary-call.d.ts +7 -0
- package/dist/detectors/cross-chain-arbitrary-call.js +601 -0
- package/dist/detectors/cross-chain-input-validation.d.ts +31 -0
- package/dist/detectors/cross-chain-input-validation.js +347 -0
- package/dist/detectors/cross-chain-intent-replay.d.ts +38 -0
- package/dist/detectors/cross-chain-intent-replay.js +453 -0
- package/dist/detectors/cross-chain-intent-stale-resolution.d.ts +7 -0
- package/dist/detectors/cross-chain-intent-stale-resolution.js +463 -0
- package/dist/detectors/cross-chain-message-order-dependency.d.ts +8 -0
- package/dist/detectors/cross-chain-message-order-dependency.js +472 -0
- package/dist/detectors/cross-chain-message-replay.d.ts +8 -0
- package/dist/detectors/cross-chain-message-replay.js +568 -0
- package/dist/detectors/cross-chain-messaging.d.ts +7 -0
- package/dist/detectors/cross-chain-messaging.js +663 -0
- package/dist/detectors/cross-chain-msg-truncation.d.ts +7 -0
- package/dist/detectors/cross-chain-msg-truncation.js +453 -0
- package/dist/detectors/cross-chain-truncation.d.ts +7 -0
- package/dist/detectors/cross-chain-truncation.js +422 -0
- package/dist/detectors/cross-contract-integer-overflow.d.ts +76 -0
- package/dist/detectors/cross-contract-integer-overflow.js +554 -0
- package/dist/detectors/cross-contract-reentrancy-trusted-callee.d.ts +39 -0
- package/dist/detectors/cross-contract-reentrancy-trusted-callee.js +385 -0
- package/dist/detectors/cross-contract-reentrancy.d.ts +63 -0
- package/dist/detectors/cross-contract-reentrancy.js +631 -0
- package/dist/detectors/cross-function-reentrancy.d.ts +37 -0
- package/dist/detectors/cross-function-reentrancy.js +648 -0
- package/dist/detectors/cross-protocol-contagion.d.ts +20 -0
- package/dist/detectors/cross-protocol-contagion.js +445 -0
- package/dist/detectors/cross-protocol-oracle-collateral.d.ts +38 -0
- package/dist/detectors/cross-protocol-oracle-collateral.js +487 -0
- package/dist/detectors/cross-vm-reentrancy.d.ts +7 -0
- package/dist/detectors/cross-vm-reentrancy.js +484 -0
- package/dist/detectors/decimals-mismatch.d.ts +89 -0
- package/dist/detectors/decimals-mismatch.js +451 -0
- package/dist/detectors/deferred-state-update.d.ts +16 -0
- package/dist/detectors/deferred-state-update.js +35 -0
- package/dist/detectors/deflationary-token.d.ts +27 -0
- package/dist/detectors/deflationary-token.js +751 -0
- package/dist/detectors/delegate-transfer-unrestricted-caller.d.ts +44 -0
- package/dist/detectors/delegate-transfer-unrestricted-caller.js +410 -0
- package/dist/detectors/delegatecall-fallback-reentrancy-bypass.d.ts +14 -0
- package/dist/detectors/delegatecall-fallback-reentrancy-bypass.js +241 -0
- package/dist/detectors/delegatecall-in-loops.d.ts +7 -0
- package/dist/detectors/delegatecall-in-loops.js +129 -0
- package/dist/detectors/delegatecall-init-owner-mutator.d.ts +8 -0
- package/dist/detectors/delegatecall-init-owner-mutator.js +655 -0
- package/dist/detectors/delegatecall-init.d.ts +7 -0
- package/dist/detectors/delegatecall-init.js +769 -0
- package/dist/detectors/delegatecall-untrusted-implementation.d.ts +41 -0
- package/dist/detectors/delegatecall-untrusted-implementation.js +888 -0
- package/dist/detectors/delegated-authorization-bypass.d.ts +7 -0
- package/dist/detectors/delegated-authorization-bypass.js +370 -0
- package/dist/detectors/denial-of-service.d.ts +117 -0
- package/dist/detectors/denial-of-service.js +947 -0
- package/dist/detectors/division-before-multiplication.d.ts +7 -0
- package/dist/detectors/division-before-multiplication.js +303 -0
- package/dist/detectors/dn404-mirror-access-control.d.ts +26 -0
- package/dist/detectors/dn404-mirror-access-control.js +315 -0
- package/dist/detectors/doge-flashloan.d.ts +29 -0
- package/dist/detectors/doge-flashloan.js +329 -0
- package/dist/detectors/donate-inflation-exchangerate-roundin.d.ts +7 -0
- package/dist/detectors/donate-inflation-exchangerate-roundin.js +621 -0
- package/dist/detectors/donation-share-inflation.d.ts +24 -0
- package/dist/detectors/donation-share-inflation.js +466 -0
- package/dist/detectors/dont-let-eth-get-rekt.d.ts +84 -0
- package/dist/detectors/dont-let-eth-get-rekt.js +1151 -0
- package/dist/detectors/dos-unbounded-loop-external-call-revert.d.ts +37 -0
- package/dist/detectors/dos-unbounded-loop-external-call-revert.js +541 -0
- package/dist/detectors/eip1167-proxy-reentrancy.d.ts +7 -0
- package/dist/detectors/eip1167-proxy-reentrancy.js +508 -0
- package/dist/detectors/eip4626-vault-reentrancy.d.ts +32 -0
- package/dist/detectors/eip4626-vault-reentrancy.js +312 -0
- package/dist/detectors/eip5792-auth-replay.d.ts +45 -0
- package/dist/detectors/eip5792-auth-replay.js +519 -0
- package/dist/detectors/eip712-domain-separator.d.ts +42 -0
- package/dist/detectors/eip712-domain-separator.js +524 -0
- package/dist/detectors/eip712-signature-verification.d.ts +49 -0
- package/dist/detectors/eip712-signature-verification.js +689 -0
- package/dist/detectors/eip7702-auth-replay.d.ts +7 -0
- package/dist/detectors/eip7702-auth-replay.js +768 -0
- package/dist/detectors/eip7702-cross-chain-replay.d.ts +27 -0
- package/dist/detectors/eip7702-cross-chain-replay.js +307 -0
- package/dist/detectors/eip7702-delegated-eoa-approval-race.d.ts +39 -0
- package/dist/detectors/eip7702-delegated-eoa-approval-race.js +413 -0
- package/dist/detectors/eip7702-delegation-reentrancy.d.ts +21 -0
- package/dist/detectors/eip7702-delegation-reentrancy.js +705 -0
- package/dist/detectors/eip7702-delegation-risk.d.ts +7 -0
- package/dist/detectors/eip7702-delegation-risk.js +745 -0
- package/dist/detectors/eip7702-eoa-assumption.d.ts +57 -0
- package/dist/detectors/eip7702-eoa-assumption.js +461 -0
- package/dist/detectors/erc1155-batch-missing-per-id-approval.d.ts +23 -0
- package/dist/detectors/erc1155-batch-missing-per-id-approval.js +343 -0
- package/dist/detectors/erc1155-reentrancy.d.ts +31 -0
- package/dist/detectors/erc1155-reentrancy.js +217 -0
- package/dist/detectors/erc1271-stub-implementation.d.ts +21 -0
- package/dist/detectors/erc1271-stub-implementation.js +268 -0
- package/dist/detectors/erc20-safe-wrapper-return-unchecked.d.ts +43 -0
- package/dist/detectors/erc20-safe-wrapper-return-unchecked.js +368 -0
- package/dist/detectors/erc20-unchecked-non-standard-return.d.ts +55 -0
- package/dist/detectors/erc20-unchecked-non-standard-return.js +454 -0
- package/dist/detectors/erc2612-permit-frontrunning.d.ts +23 -0
- package/dist/detectors/erc2612-permit-frontrunning.js +246 -0
- package/dist/detectors/erc2771-context-spoofing.d.ts +41 -0
- package/dist/detectors/erc2771-context-spoofing.js +510 -0
- package/dist/detectors/erc4337-validation-storage-access.d.ts +35 -0
- package/dist/detectors/erc4337-validation-storage-access.js +232 -0
- package/dist/detectors/erc4626-totalassets-stub.d.ts +17 -0
- package/dist/detectors/erc4626-totalassets-stub.js +216 -0
- package/dist/detectors/erc6909-balance-overflow.d.ts +7 -0
- package/dist/detectors/erc6909-balance-overflow.js +688 -0
- package/dist/detectors/erc6909-operator-scope.d.ts +49 -0
- package/dist/detectors/erc6909-operator-scope.js +494 -0
- package/dist/detectors/erc721-unchecked-transfer.d.ts +38 -0
- package/dist/detectors/erc721-unchecked-transfer.js +364 -0
- package/dist/detectors/erc7579-module-install-without-threshold.d.ts +40 -0
- package/dist/detectors/erc7579-module-install-without-threshold.js +338 -0
- package/dist/detectors/erc7683-fill-validation.d.ts +53 -0
- package/dist/detectors/erc7683-fill-validation.js +758 -0
- package/dist/detectors/erc7683-intent-resolution.d.ts +7 -0
- package/dist/detectors/erc7683-intent-resolution.js +457 -0
- package/dist/detectors/erc777-callback-reentrancy.d.ts +8 -0
- package/dist/detectors/erc777-callback-reentrancy.js +439 -0
- package/dist/detectors/erc777-reentrancy.d.ts +7 -0
- package/dist/detectors/erc777-reentrancy.js +488 -0
- package/dist/detectors/erc777-tokens-to-send-reentrancy.d.ts +47 -0
- package/dist/detectors/erc777-tokens-to-send-reentrancy.js +674 -0
- package/dist/detectors/estuary-token-flaw.d.ts +16 -0
- package/dist/detectors/estuary-token-flaw.js +547 -0
- package/dist/detectors/euler-debt-token-manipulation.d.ts +32 -0
- package/dist/detectors/euler-debt-token-manipulation.js +347 -0
- package/dist/detectors/exploiting-a-vulnerability-in-curve-fina.d.ts +29 -0
- package/dist/detectors/exploiting-a-vulnerability-in-curve-fina.js +210 -0
- package/dist/detectors/fallback-delegatecall-reentrancy.d.ts +14 -0
- package/dist/detectors/fallback-delegatecall-reentrancy.js +236 -0
- package/dist/detectors/farm-business-logic-flaw-lack-of-access.d.ts +7 -0
- package/dist/detectors/farm-business-logic-flaw-lack-of-access.js +665 -0
- package/dist/detectors/fee-mechanism-exploitation.d.ts +20 -0
- package/dist/detectors/fee-mechanism-exploitation.js +400 -0
- package/dist/detectors/fee-on-transfer-balance-mismatch.d.ts +49 -0
- package/dist/detectors/fee-on-transfer-balance-mismatch.js +394 -0
- package/dist/detectors/fhe-encrypted-input-validation.d.ts +29 -0
- package/dist/detectors/fhe-encrypted-input-validation.js +210 -0
- package/dist/detectors/fhe-handle-leakage.d.ts +44 -0
- package/dist/detectors/fhe-handle-leakage.js +315 -0
- package/dist/detectors/fhe-oz-pattern-misuse.d.ts +26 -0
- package/dist/detectors/fhe-oz-pattern-misuse.js +311 -0
- package/dist/detectors/fhe-state-leakage.d.ts +8 -0
- package/dist/detectors/fhe-state-leakage.js +400 -0
- package/dist/detectors/fi-bridges.d.ts +33 -0
- package/dist/detectors/fi-bridges.js +428 -0
- package/dist/detectors/finance-access-control-price-oracle-man.d.ts +9 -0
- package/dist/detectors/finance-access-control-price-oracle-man.js +640 -0
- package/dist/detectors/finance-bridge-address0safetransferfrom.d.ts +8 -0
- package/dist/detectors/finance-bridge-address0safetransferfrom.js +574 -0
- package/dist/detectors/finance-business-logic-in-mint.d.ts +54 -0
- package/dist/detectors/finance-business-logic-in-mint.js +687 -0
- package/dist/detectors/finance-erc667-reentrancy.d.ts +7 -0
- package/dist/detectors/finance-erc667-reentrancy.js +509 -0
- package/dist/detectors/finance-flashloan-price-oracle-manipul.d.ts +7 -0
- package/dist/detectors/finance-flashloan-price-oracle-manipul.js +546 -0
- package/dist/detectors/finance-flashloan-reentrancy.d.ts +7 -0
- package/dist/detectors/finance-flashloan-reentrancy.js +547 -0
- package/dist/detectors/finance-swap-metapool-attack.d.ts +19 -0
- package/dist/detectors/finance-swap-metapool-attack.js +321 -0
- package/dist/detectors/flashloan-price-manipulation.d.ts +7 -0
- package/dist/detectors/flashloan-price-manipulation.js +950 -0
- package/dist/detectors/flashloan-reentrancy-rari.d.ts +28 -0
- package/dist/detectors/flashloan-reentrancy-rari.js +577 -0
- package/dist/detectors/flashloan-reentrancy.d.ts +7 -0
- package/dist/detectors/flashloan-reentrancy.js +383 -0
- package/dist/detectors/flashloan-token-migrate.d.ts +7 -0
- package/dist/detectors/flashloan-token-migrate.js +274 -0
- package/dist/detectors/force-fed-eth-state-corruption.d.ts +32 -0
- package/dist/detectors/force-fed-eth-state-corruption.js +293 -0
- package/dist/detectors/free-mint-bug.d.ts +41 -0
- package/dist/detectors/free-mint-bug.js +483 -0
- package/dist/detectors/front-running-orderbook-state-update.d.ts +37 -0
- package/dist/detectors/front-running-orderbook-state-update.js +471 -0
- package/dist/detectors/front-running-shared-collateral-write.d.ts +41 -0
- package/dist/detectors/front-running-shared-collateral-write.js +508 -0
- package/dist/detectors/fusion-v1-settlement-arbitrary-yul-calld.d.ts +30 -0
- package/dist/detectors/fusion-v1-settlement-arbitrary-yul-calld.js +354 -0
- package/dist/detectors/generalized-frontrunning.d.ts +7 -0
- package/dist/detectors/generalized-frontrunning.js +836 -0
- package/dist/detectors/governance-flash-loan.d.ts +62 -0
- package/dist/detectors/governance-flash-loan.js +452 -0
- package/dist/detectors/governance-flashloan-vote.d.ts +41 -0
- package/dist/detectors/governance-flashloan-vote.js +272 -0
- package/dist/detectors/halborn-security-report-aave-v3.d.ts +6 -0
- package/dist/detectors/halborn-security-report-aave-v3.js +357 -0
- package/dist/detectors/incorrect-access-control.d.ts +26 -0
- package/dist/detectors/incorrect-access-control.js +328 -0
- package/dist/detectors/incorrect-burn-accounting.d.ts +10 -0
- package/dist/detectors/incorrect-burn-accounting.js +387 -0
- package/dist/detectors/incorrect-dividends-calculation.d.ts +27 -0
- package/dist/detectors/incorrect-dividends-calculation.js +524 -0
- package/dist/detectors/incorrect-dividends.d.ts +27 -0
- package/dist/detectors/incorrect-dividends.js +485 -0
- package/dist/detectors/incorrect-input-validation.d.ts +23 -0
- package/dist/detectors/incorrect-input-validation.js +312 -0
- package/dist/detectors/incorrect-signature-verification.d.ts +26 -0
- package/dist/detectors/incorrect-signature-verification.js +530 -0
- package/dist/detectors/infinite-loop.d.ts +7 -0
- package/dist/detectors/infinite-loop.js +440 -0
- package/dist/detectors/infinite-number-of-loans.d.ts +13 -0
- package/dist/detectors/infinite-number-of-loans.js +565 -0
- package/dist/detectors/inheritance-override.d.ts +26 -0
- package/dist/detectors/inheritance-override.js +320 -0
- package/dist/detectors/initialization-access-control.d.ts +8 -0
- package/dist/detectors/initialization-access-control.js +659 -0
- package/dist/detectors/insecure-randomness.d.ts +73 -0
- package/dist/detectors/insecure-randomness.js +610 -0
- package/dist/detectors/insufficient-access-control-trusted-param.d.ts +39 -0
- package/dist/detectors/insufficient-access-control-trusted-param.js +356 -0
- package/dist/detectors/insufficient-dvn-threshold.d.ts +32 -0
- package/dist/detectors/insufficient-dvn-threshold.js +585 -0
- package/dist/detectors/integer-overflow-detector.d.ts +45 -0
- package/dist/detectors/integer-overflow-detector.js +284 -0
- package/dist/detectors/integer-overflow.d.ts +95 -0
- package/dist/detectors/integer-overflow.js +344 -0
- package/dist/detectors/integer-underflow.d.ts +7 -0
- package/dist/detectors/integer-underflow.js +422 -0
- package/dist/detectors/intent-settlement-balance-manipulation.d.ts +22 -0
- package/dist/detectors/intent-settlement-balance-manipulation.js +548 -0
- package/dist/detectors/l1-to-l2-message-reentrancy.d.ts +7 -0
- package/dist/detectors/l1-to-l2-message-reentrancy.js +545 -0
- package/dist/detectors/l2-withdrawal-validation.d.ts +8 -0
- package/dist/detectors/l2-withdrawal-validation.js +303 -0
- package/dist/detectors/lack-of-access-control.d.ts +7 -0
- package/dist/detectors/lack-of-access-control.js +425 -0
- package/dist/detectors/lack-of-calldata-validation.d.ts +16 -0
- package/dist/detectors/lack-of-calldata-validation.js +914 -0
- package/dist/detectors/lack-of-input-validation-reentrancy.d.ts +7 -0
- package/dist/detectors/lack-of-input-validation-reentrancy.js +637 -0
- package/dist/detectors/lack-of-slippage-control.d.ts +7 -0
- package/dist/detectors/lack-of-slippage-control.js +513 -0
- package/dist/detectors/lack-of-slippage-protection.d.ts +7 -0
- package/dist/detectors/lack-of-slippage-protection.js +474 -0
- package/dist/detectors/lack-of-validation-data.d.ts +23 -0
- package/dist/detectors/lack-of-validation-data.js +391 -0
- package/dist/detectors/lack-of-validation-pool.d.ts +7 -0
- package/dist/detectors/lack-of-validation-pool.js +492 -0
- package/dist/detectors/lack-of-validation-userdata.d.ts +7 -0
- package/dist/detectors/lack-of-validation-userdata.js +583 -0
- package/dist/detectors/lack-of-validation.d.ts +27 -0
- package/dist/detectors/lack-of-validation.js +609 -0
- package/dist/detectors/layerzero-dvn-quorum-missing.d.ts +22 -0
- package/dist/detectors/layerzero-dvn-quorum-missing.js +464 -0
- package/dist/detectors/layerzero-v2-unverified-origin.d.ts +40 -0
- package/dist/detectors/layerzero-v2-unverified-origin.js +368 -0
- package/dist/detectors/liquidation-accounting-desync.d.ts +14 -0
- package/dist/detectors/liquidation-accounting-desync.js +145 -0
- package/dist/detectors/liquidation-gain-manipulation.d.ts +42 -0
- package/dist/detectors/liquidation-gain-manipulation.js +606 -0
- package/dist/detectors/liquidation-price-rounding-advantage.d.ts +26 -0
- package/dist/detectors/liquidation-price-rounding-advantage.js +283 -0
- package/dist/detectors/liquidity-poisoning.d.ts +25 -0
- package/dist/detectors/liquidity-poisoning.js +339 -0
- package/dist/detectors/loans-malicious-proposal-price-oracle.d.ts +44 -0
- package/dist/detectors/loans-malicious-proposal-price-oracle.js +813 -0
- package/dist/detectors/logic-flaw.d.ts +186 -0
- package/dist/detectors/logic-flaw.js +3356 -0
- package/dist/detectors/manipulation-of-funds.d.ts +31 -0
- package/dist/detectors/manipulation-of-funds.js +304 -0
- package/dist/detectors/merkl-unsafe-claim-callback.d.ts +22 -0
- package/dist/detectors/merkl-unsafe-claim-callback.js +94 -0
- package/dist/detectors/mev-boost-timestamp.d.ts +7 -0
- package/dist/detectors/mev-boost-timestamp.js +318 -0
- package/dist/detectors/mev-merge-exploit.d.ts +29 -0
- package/dist/detectors/mev-merge-exploit.js +397 -0
- package/dist/detectors/mev-sandwich-vulnerability.d.ts +24 -0
- package/dist/detectors/mev-sandwich-vulnerability.js +648 -0
- package/dist/detectors/mev-slot-manipulation.d.ts +36 -0
- package/dist/detectors/mev-slot-manipulation.js +691 -0
- package/dist/detectors/mevbot-insufficient-validation.d.ts +48 -0
- package/dist/detectors/mevbot-insufficient-validation.js +574 -0
- package/dist/detectors/migration-rebalance-without-bound.d.ts +7 -0
- package/dist/detectors/migration-rebalance-without-bound.js +514 -0
- package/dist/detectors/mint-hardcoded-asset-parity.d.ts +31 -0
- package/dist/detectors/mint-hardcoded-asset-parity.js +356 -0
- package/dist/detectors/miscalculation-on-spendallowance.d.ts +7 -0
- package/dist/detectors/miscalculation-on-spendallowance.js +188 -0
- package/dist/detectors/misconfiguration.d.ts +27 -0
- package/dist/detectors/misconfiguration.js +410 -0
- package/dist/detectors/missing-access-control-caller-supplied-auth.d.ts +7 -0
- package/dist/detectors/missing-access-control-caller-supplied-auth.js +550 -0
- package/dist/detectors/missing-access-control-receiver-payout.d.ts +7 -0
- package/dist/detectors/missing-access-control-receiver-payout.js +460 -0
- package/dist/detectors/missing-access-control-role-or-transferfrom.d.ts +7 -0
- package/dist/detectors/missing-access-control-role-or-transferfrom.js +663 -0
- package/dist/detectors/missing-access-control.d.ts +19 -0
- package/dist/detectors/missing-access-control.js +781 -0
- package/dist/detectors/missing-sequencer-uptime-check.d.ts +30 -0
- package/dist/detectors/missing-sequencer-uptime-check.js +348 -0
- package/dist/detectors/missing-storage-gap.d.ts +19 -0
- package/dist/detectors/missing-storage-gap.js +193 -0
- package/dist/detectors/missing-swap-deadline-slippage.d.ts +31 -0
- package/dist/detectors/missing-swap-deadline-slippage.js +231 -0
- package/dist/detectors/missing-zk-proof-verification.d.ts +60 -0
- package/dist/detectors/missing-zk-proof-verification.js +547 -0
- package/dist/detectors/my-experience-with-yearn-finance.d.ts +7 -0
- package/dist/detectors/my-experience-with-yearn-finance.js +552 -0
- package/dist/detectors/network-bridge-ronin.d.ts +7 -0
- package/dist/detectors/network-bridge-ronin.js +408 -0
- package/dist/detectors/network-bridge.d.ts +7 -0
- package/dist/detectors/network-bridge.js +444 -0
- package/dist/detectors/network-underflow.d.ts +7 -0
- package/dist/detectors/network-underflow.js +517 -0
- package/dist/detectors/nft-denial-of-service.d.ts +7 -0
- package/dist/detectors/nft-denial-of-service.js +223 -0
- package/dist/detectors/nft-marketplace-order-reentrancy.d.ts +7 -0
- package/dist/detectors/nft-marketplace-order-reentrancy.js +427 -0
- package/dist/detectors/nft-token-standard-access-control.d.ts +7 -0
- package/dist/detectors/nft-token-standard-access-control.js +455 -0
- package/dist/detectors/oracle-manipulation-amm-spot-price.d.ts +42 -0
- package/dist/detectors/oracle-manipulation-amm-spot-price.js +321 -0
- package/dist/detectors/oracle-manipulation-liquidity-withdrawal.d.ts +27 -0
- package/dist/detectors/oracle-manipulation-liquidity-withdrawal.js +192 -0
- package/dist/detectors/oracle-manipulation.d.ts +90 -0
- package/dist/detectors/oracle-manipulation.js +1023 -0
- package/dist/detectors/oracle-vortex-manipulation.d.ts +30 -0
- package/dist/detectors/oracle-vortex-manipulation.js +473 -0
- package/dist/detectors/overpriced-asset-in-oracle.d.ts +41 -0
- package/dist/detectors/overpriced-asset-in-oracle.js +420 -0
- package/dist/detectors/oz-access-control-roles.d.ts +33 -0
- package/dist/detectors/oz-access-control-roles.js +359 -0
- package/dist/detectors/pair-manipulation-transfer-hook.d.ts +38 -0
- package/dist/detectors/pair-manipulation-transfer-hook.js +366 -0
- package/dist/detectors/parameter-access-control.d.ts +47 -0
- package/dist/detectors/parameter-access-control.js +511 -0
- package/dist/detectors/parameter-manipulation.d.ts +7 -0
- package/dist/detectors/parameter-manipulation.js +505 -0
- package/dist/detectors/parity-multisig-delegatecall.d.ts +7 -0
- package/dist/detectors/parity-multisig-delegatecall.js +707 -0
- package/dist/detectors/permissionless-claim-amm-spot-pricing.d.ts +7 -0
- package/dist/detectors/permissionless-claim-amm-spot-pricing.js +351 -0
- package/dist/detectors/permit-future-dated-deadline.d.ts +31 -0
- package/dist/detectors/permit-future-dated-deadline.js +339 -0
- package/dist/detectors/phishing-attack-bybit.d.ts +37 -0
- package/dist/detectors/phishing-attack-bybit.js +513 -0
- package/dist/detectors/post-insolvency-check.d.ts +7 -0
- package/dist/detectors/post-insolvency-check.js +277 -0
- package/dist/detectors/precision-loss-vulnerability.d.ts +7 -0
- package/dist/detectors/precision-loss-vulnerability.js +472 -0
- package/dist/detectors/precision-truncation.d.ts +8 -0
- package/dist/detectors/precision-truncation.js +425 -0
- package/dist/detectors/price-dependency-veth.d.ts +41 -0
- package/dist/detectors/price-dependency-veth.js +588 -0
- package/dist/detectors/price-feed-verification.d.ts +7 -0
- package/dist/detectors/price-feed-verification.js +557 -0
- package/dist/detectors/price-manipulation-reentrancy.d.ts +32 -0
- package/dist/detectors/price-manipulation-reentrancy.js +445 -0
- package/dist/detectors/price-manipulation-via-reentranc.d.ts +7 -0
- package/dist/detectors/price-manipulation-via-reentranc.js +569 -0
- package/dist/detectors/price-oracle-manipulation.d.ts +25 -0
- package/dist/detectors/price-oracle-manipulation.js +530 -0
- package/dist/detectors/project-instant-rewards-unlocked.d.ts +6 -0
- package/dist/detectors/project-instant-rewards-unlocked.js +462 -0
- package/dist/detectors/protocol-reentrancy.d.ts +7 -0
- package/dist/detectors/protocol-reentrancy.js +457 -0
- package/dist/detectors/proxy-init-race.d.ts +11 -0
- package/dist/detectors/proxy-init-race.js +634 -0
- package/dist/detectors/proxy-storage-slot-collision.d.ts +7 -0
- package/dist/detectors/proxy-storage-slot-collision.js +135 -0
- package/dist/detectors/public-internal-function.d.ts +39 -0
- package/dist/detectors/public-internal-function.js +233 -0
- package/dist/detectors/quote-silent-zero.d.ts +25 -0
- package/dist/detectors/quote-silent-zero.js +156 -0
- package/dist/detectors/readonly-reentrancy.d.ts +9 -0
- package/dist/detectors/readonly-reentrancy.js +108 -0
- package/dist/detectors/receipt-redemption-missing-validation.d.ts +31 -0
- package/dist/detectors/receipt-redemption-missing-validation.js +453 -0
- package/dist/detectors/reentrancy-balance.d.ts +36 -0
- package/dist/detectors/reentrancy-balance.js +577 -0
- package/dist/detectors/reentrancy-business-logic-game.d.ts +36 -0
- package/dist/detectors/reentrancy-business-logic-game.js +616 -0
- package/dist/detectors/reentrancy-on-sell-nft.d.ts +23 -0
- package/dist/detectors/reentrancy-on-sell-nft.js +510 -0
- package/dist/detectors/reflection-token-balance-desync.d.ts +28 -0
- package/dist/detectors/reflection-token-balance-desync.js +246 -0
- package/dist/detectors/registry-engine.d.ts +34 -0
- package/dist/detectors/registry-engine.js +388 -0
- package/dist/detectors/rollup-unvalidated-state-update.d.ts +35 -0
- package/dist/detectors/rollup-unvalidated-state-update.js +286 -0
- package/dist/detectors/s-horizon-bridge-private-key-compromis.d.ts +8 -0
- package/dist/detectors/s-horizon-bridge-private-key-compromis.js +615 -0
- package/dist/detectors/share-price-manipulation.d.ts +7 -0
- package/dist/detectors/share-price-manipulation.js +653 -0
- package/dist/detectors/signature-replay.d.ts +30 -0
- package/dist/detectors/signature-replay.js +367 -0
- package/dist/detectors/simpleswap-unverified-approval.d.ts +27 -0
- package/dist/detectors/simpleswap-unverified-approval.js +198 -0
- package/dist/detectors/single-spot-oracle-collateral-valuation.d.ts +22 -0
- package/dist/detectors/single-spot-oracle-collateral-valuation.js +419 -0
- package/dist/detectors/skim-token-balance.d.ts +7 -0
- package/dist/detectors/skim-token-balance.js +788 -0
- package/dist/detectors/sky-oft-governance-payload.d.ts +7 -0
- package/dist/detectors/sky-oft-governance-payload.js +515 -0
- package/dist/detectors/sky-oft-governance-truncation.d.ts +32 -0
- package/dist/detectors/sky-oft-governance-truncation.js +377 -0
- package/dist/detectors/solana-evm-bridge-truncation.d.ts +7 -0
- package/dist/detectors/solana-evm-bridge-truncation.js +638 -0
- package/dist/detectors/solhint-unchecked-low-level-call.d.ts +74 -0
- package/dist/detectors/solhint-unchecked-low-level-call.js +463 -0
- package/dist/detectors/stablecoin-pair-spot-oracle.d.ts +7 -0
- package/dist/detectors/stablecoin-pair-spot-oracle.js +364 -0
- package/dist/detectors/staked-rate-as-oracle.d.ts +44 -0
- package/dist/detectors/staked-rate-as-oracle.js +497 -0
- package/dist/detectors/stale-oracle.d.ts +63 -0
- package/dist/detectors/stale-oracle.js +649 -0
- package/dist/detectors/starkware-proof-validation-gap.d.ts +18 -0
- package/dist/detectors/starkware-proof-validation-gap.js +629 -0
- package/dist/detectors/steth-transfer-reentrancy.d.ts +8 -0
- package/dist/detectors/steth-transfer-reentrancy.js +317 -0
- package/dist/detectors/storage-collision-malicious-proposal.d.ts +27 -0
- package/dist/detectors/storage-collision-malicious-proposal.js +386 -0
- package/dist/detectors/timestamp-manipulation.d.ts +49 -0
- package/dist/detectors/timestamp-manipulation.js +383 -0
- package/dist/detectors/token-access-control.d.ts +7 -0
- package/dist/detectors/token-access-control.js +544 -0
- package/dist/detectors/token-incorrect-signature-verification.d.ts +23 -0
- package/dist/detectors/token-incorrect-signature-verification.js +434 -0
- package/dist/detectors/token-transfer-logic-flaw.d.ts +33 -0
- package/dist/detectors/token-transfer-logic-flaw.js +267 -0
- package/dist/detectors/transfer-double-debit-pool-recipient.d.ts +7 -0
- package/dist/detectors/transfer-double-debit-pool-recipient.js +542 -0
- package/dist/detectors/treasury-reentrancy.d.ts +7 -0
- package/dist/detectors/treasury-reentrancy.js +442 -0
- package/dist/detectors/tstore-poison.d.ts +32 -0
- package/dist/detectors/tstore-poison.js +417 -0
- package/dist/detectors/tstore-race-condition.d.ts +7 -0
- package/dist/detectors/tstore-race-condition.js +632 -0
- package/dist/detectors/types.d.ts +85 -0
- package/dist/detectors/types.js +20 -0
- package/dist/detectors/unauthorized-payer-transferfrom.d.ts +66 -0
- package/dist/detectors/unauthorized-payer-transferfrom.js +339 -0
- package/dist/detectors/unauthorized-transferfrom-shell.d.ts +7 -0
- package/dist/detectors/unauthorized-transferfrom-shell.js +504 -0
- package/dist/detectors/unauthorized-transferfrom.d.ts +16 -0
- package/dist/detectors/unauthorized-transferfrom.js +838 -0
- package/dist/detectors/unbound-zk-verifier-input.d.ts +7 -0
- package/dist/detectors/unbound-zk-verifier-input.js +445 -0
- package/dist/detectors/unbounded-share-price-collateral-oracle.d.ts +48 -0
- package/dist/detectors/unbounded-share-price-collateral-oracle.js +566 -0
- package/dist/detectors/uncapped-reward-emission.d.ts +7 -0
- package/dist/detectors/uncapped-reward-emission.js +493 -0
- package/dist/detectors/unchecked-call-forwarding.d.ts +31 -0
- package/dist/detectors/unchecked-call-forwarding.js +330 -0
- package/dist/detectors/unchecked-external-call-unconditional-state-mutation.d.ts +18 -0
- package/dist/detectors/unchecked-external-call-unconditional-state-mutation.js +311 -0
- package/dist/detectors/unchecked-external-call.d.ts +66 -0
- package/dist/detectors/unchecked-external-call.js +389 -0
- package/dist/detectors/unchecked-oft-return.d.ts +13 -0
- package/dist/detectors/unchecked-oft-return.js +118 -0
- package/dist/detectors/unguarded-governance-execution.d.ts +35 -0
- package/dist/detectors/unguarded-governance-execution.js +422 -0
- package/dist/detectors/unguarded-governance-executor.d.ts +35 -0
- package/dist/detectors/unguarded-governance-executor.js +349 -0
- package/dist/detectors/unindexed-event-address.d.ts +7 -0
- package/dist/detectors/unindexed-event-address.js +268 -0
- package/dist/detectors/uninitialized-implementation.d.ts +27 -0
- package/dist/detectors/uninitialized-implementation.js +333 -0
- package/dist/detectors/uninitialized-storage-pointer.d.ts +7 -0
- package/dist/detectors/uninitialized-storage-pointer.js +110 -0
- package/dist/detectors/uniswap-skim-token-balance-attack.d.ts +8 -0
- package/dist/detectors/uniswap-skim-token-balance-attack.js +331 -0
- package/dist/detectors/uniswap-v4-hook-state-manipulation.d.ts +7 -0
- package/dist/detectors/uniswap-v4-hook-state-manipulation.js +296 -0
- package/dist/detectors/unprotected-admin-or-fund-sink.d.ts +7 -0
- package/dist/detectors/unprotected-admin-or-fund-sink.js +643 -0
- package/dist/detectors/unprotected-dex-swap.d.ts +43 -0
- package/dist/detectors/unprotected-dex-swap.js +334 -0
- package/dist/detectors/unprotected-initializer.d.ts +7 -0
- package/dist/detectors/unprotected-initializer.js +707 -0
- package/dist/detectors/unprotected-pair-initializer.d.ts +22 -0
- package/dist/detectors/unprotected-pair-initializer.js +359 -0
- package/dist/detectors/unprotected-upgrade-function.d.ts +7 -0
- package/dist/detectors/unprotected-upgrade-function.js +180 -0
- package/dist/detectors/unreachable-code-0.8.28.d.ts +19 -0
- package/dist/detectors/unreachable-code-0.8.28.js +206 -0
- package/dist/detectors/unsafe-proxy-storage.d.ts +7 -0
- package/dist/detectors/unsafe-proxy-storage.js +436 -0
- package/dist/detectors/unsafe-transient-storage.d.ts +7 -0
- package/dist/detectors/unsafe-transient-storage.js +1052 -0
- package/dist/detectors/unsafe-tx-origin.d.ts +9 -0
- package/dist/detectors/unsafe-tx-origin.js +179 -0
- package/dist/detectors/unsigned-validity-window.d.ts +20 -0
- package/dist/detectors/unsigned-validity-window.js +220 -0
- package/dist/detectors/unvalidated-interface-address.d.ts +25 -0
- package/dist/detectors/unvalidated-interface-address.js +377 -0
- package/dist/detectors/uups-uninitialized-storage.d.ts +9 -0
- package/dist/detectors/uups-uninitialized-storage.js +366 -0
- package/dist/detectors/v2-error-k-value-attack.d.ts +33 -0
- package/dist/detectors/v2-error-k-value-attack.js +276 -0
- package/dist/detectors/v2-k-invariant-bypass.d.ts +33 -0
- package/dist/detectors/v2-k-invariant-bypass.js +283 -0
- package/dist/detectors/v4-hook-reentrancy.d.ts +9 -0
- package/dist/detectors/v4-hook-reentrancy.js +488 -0
- package/dist/detectors/vault-inflation-rounding.d.ts +23 -0
- package/dist/detectors/vault-inflation-rounding.js +477 -0
- package/dist/detectors/vault-share-price-manipulation.d.ts +7 -0
- package/dist/detectors/vault-share-price-manipulation.js +332 -0
- package/dist/detectors/vortex-interaction-guard.d.ts +45 -0
- package/dist/detectors/vortex-interaction-guard.js +275 -0
- package/dist/detectors/vortex-protocol-reentrancy-guard.d.ts +27 -0
- package/dist/detectors/vortex-protocol-reentrancy-guard.js +408 -0
- package/dist/detectors/vulnerable-price-dependency.d.ts +41 -0
- package/dist/detectors/vulnerable-price-dependency.js +473 -0
- package/dist/detectors/weak-random-mint.d.ts +37 -0
- package/dist/detectors/weak-random-mint.js +271 -0
- package/dist/detectors/withdraw-be-to-withdraw.d.ts +26 -0
- package/dist/detectors/withdraw-be-to-withdraw.js +329 -0
- package/dist/detectors/wrong-function-visibility.d.ts +29 -0
- package/dist/detectors/wrong-function-visibility.js +147 -0
- package/dist/detectors/wrong-price-calculation.d.ts +42 -0
- package/dist/detectors/wrong-price-calculation.js +387 -0
- package/dist/detectors/yearn-vault-v2-share-price-manipulation.d.ts +32 -0
- package/dist/detectors/yearn-vault-v2-share-price-manipulation.js +248 -0
- package/dist/detectors/zero-fee.d.ts +7 -0
- package/dist/detectors/zero-fee.js +596 -0
- package/dist/detectors/zetachain-gateway-hack-analysis.d.ts +7 -0
- package/dist/detectors/zetachain-gateway-hack-analysis.js +629 -0
- package/dist/detectors/zk-rollup-da-gap.d.ts +8 -0
- package/dist/detectors/zk-rollup-da-gap.js +322 -0
- package/dist/detectors/zksync-batch-validation.d.ts +8 -0
- package/dist/detectors/zksync-batch-validation.js +461 -0
- package/dist/detectors/zksync-era-rollup-state-update.d.ts +60 -0
- package/dist/detectors/zksync-era-rollup-state-update.js +360 -0
- package/dist/detectors/zksync-simulation-drift.d.ts +35 -0
- package/dist/detectors/zksync-simulation-drift.js +309 -0
- package/dist/exit-codes.d.ts +15 -0
- package/dist/exit-codes.js +18 -0
- package/dist/formatters/github-actions.d.ts +2 -0
- package/dist/formatters/github-actions.js +61 -0
- package/dist/formatters/sarif.d.ts +24 -0
- package/dist/formatters/sarif.js +670 -0
- package/dist/formatters/text.d.ts +14 -0
- package/dist/formatters/text.js +152 -0
- package/dist/fp-rates.json +70 -0
- package/dist/identity/diff-baseline.d.ts +16 -0
- package/dist/identity/diff-baseline.js +152 -0
- package/dist/identity/hashing.d.ts +39 -0
- package/dist/identity/hashing.js +96 -0
- package/dist/index.d.ts +174 -0
- package/dist/index.js +358 -0
- package/dist/parallel-scan.d.ts +66 -0
- package/dist/parallel-scan.js +227 -0
- package/dist/registry.d.ts +17 -0
- package/dist/registry.js +118 -0
- package/dist/rules/glob.d.ts +5 -0
- package/dist/rules/glob.js +76 -0
- package/dist/rules/suppressions.d.ts +23 -0
- package/dist/rules/suppressions.js +136 -0
- package/dist/rules/tiers.d.ts +23 -0
- package/dist/rules/tiers.js +341 -0
- package/dist/scan-worker.d.ts +1 -0
- package/dist/scan-worker.js +61 -0
- package/dist/scan.d.ts +24 -0
- package/dist/scan.js +558 -0
- package/dist/semantic/contracts.d.ts +10 -0
- package/dist/semantic/contracts.js +141 -0
- package/dist/semantic/diagnostics.d.ts +29 -0
- package/dist/semantic/diagnostics.js +25 -0
- package/dist/semantic/eog.d.ts +56 -0
- package/dist/semantic/eog.js +545 -0
- package/dist/semantic/imports.d.ts +88 -0
- package/dist/semantic/imports.js +246 -0
- package/dist/semantic/index.d.ts +2 -0
- package/dist/semantic/index.js +8 -0
- package/dist/semantic/inheritance.d.ts +33 -0
- package/dist/semantic/inheritance.js +137 -0
- package/dist/semantic/model.d.ts +95 -0
- package/dist/semantic/model.js +232 -0
- package/dist/semantic/taint-tracker.d.ts +49 -0
- package/dist/semantic/taint-tracker.js +410 -0
- package/dist/semantic/types.d.ts +119 -0
- package/dist/semantic/types.js +18 -0
- package/dist/severity.d.ts +10 -0
- package/dist/severity.js +78 -0
- package/package.json +52 -0
|
@@ -0,0 +1,657 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.ArbitraryAddressSpoofingDetector = void 0;
|
|
4
|
+
const RULE_ID = 'arbitrary-address-spoofing';
|
|
5
|
+
const ASSIGNMENT_OPERATORS = new Set(['=', '+=', '-=', '*=', '/=', '%=', '|=', '&=', '^=', '<<=', '>>=']);
|
|
6
|
+
const AUTH_NAMES = new Set(['owner', 'admin', 'authority', 'operator', 'guardian']);
|
|
7
|
+
const ROLE_MAPPING_NAMES = new Set(['approved', 'approvals', 'authorized', 'operators', 'admins', 'owners']);
|
|
8
|
+
const TRANSFER_MEMBERS = new Set(['transfer', 'send', 'call']);
|
|
9
|
+
const ROLE_HELPER_NAMES = new Set(['_checkRole', 'checkRole']);
|
|
10
|
+
class ArbitraryAddressSpoofingDetector {
|
|
11
|
+
id = RULE_ID;
|
|
12
|
+
patternKey = RULE_ID;
|
|
13
|
+
supportedAstKinds = ['parser'];
|
|
14
|
+
scanAst(ast, file) {
|
|
15
|
+
if (!ast || ast.type !== 'SourceUnit')
|
|
16
|
+
return [];
|
|
17
|
+
const findings = [];
|
|
18
|
+
for (const contract of ast.children || []) {
|
|
19
|
+
if (!isNode(contract, 'ContractDefinition'))
|
|
20
|
+
continue;
|
|
21
|
+
if (contract.kind === 'interface' || contract.kind === 'library')
|
|
22
|
+
continue;
|
|
23
|
+
const ctx = {
|
|
24
|
+
stateVars: collectStateVariables(contract),
|
|
25
|
+
modifiers: collectMembers(contract, 'ModifierDefinition'),
|
|
26
|
+
internalFunctions: collectInternalFunctions(contract),
|
|
27
|
+
};
|
|
28
|
+
for (const fn of contract.subNodes || []) {
|
|
29
|
+
if (!isNode(fn, 'FunctionDefinition'))
|
|
30
|
+
continue;
|
|
31
|
+
if (!fn.body || fn.isConstructor || fn.kind === 'constructor')
|
|
32
|
+
continue;
|
|
33
|
+
if (!isExternallyCallable(fn))
|
|
34
|
+
continue;
|
|
35
|
+
if (isReadOnly(fn))
|
|
36
|
+
continue;
|
|
37
|
+
const findingNode = this.findSpoofingSink(fn, ctx);
|
|
38
|
+
if (!findingNode)
|
|
39
|
+
continue;
|
|
40
|
+
const loc = locOf(fn) || locOf(findingNode) || { line: 0, column: 0 };
|
|
41
|
+
const functionName = fn.name || '<anonymous>';
|
|
42
|
+
const contractName = contract.name || '<anonymous>';
|
|
43
|
+
findings.push({
|
|
44
|
+
file,
|
|
45
|
+
contract: contractName,
|
|
46
|
+
'function': functionName,
|
|
47
|
+
line: loc.line,
|
|
48
|
+
endLine: loc.line,
|
|
49
|
+
column: loc.column,
|
|
50
|
+
pattern: RULE_ID,
|
|
51
|
+
confidence: 'high',
|
|
52
|
+
ruleId: RULE_ID,
|
|
53
|
+
severity: 'high',
|
|
54
|
+
message: `Arbitrary address spoofing risk in '${contractName}.${functionName}': a spoofable address value is used as effective authority or privileged identity before a sensitive operation.`,
|
|
55
|
+
rationale: 'The function trusts a caller-supplied address, storage-derived address cast, or external-call return as actor/owner identity instead of binding authorization to msg.sender or a recognized authenticated path.',
|
|
56
|
+
suggestedFix: 'Bind authorization checks to msg.sender or a role/owner guard, and only update owner/approval identity from authenticated functions or trusted initialization paths.',
|
|
57
|
+
contractName,
|
|
58
|
+
functionName,
|
|
59
|
+
sourceLocation: loc,
|
|
60
|
+
findingId: '',
|
|
61
|
+
contractHash: '',
|
|
62
|
+
});
|
|
63
|
+
}
|
|
64
|
+
}
|
|
65
|
+
return findings;
|
|
66
|
+
}
|
|
67
|
+
findSpoofingSink(fn, ctx) {
|
|
68
|
+
const state = {
|
|
69
|
+
addressParams: collectAddressParameterNames(fn),
|
|
70
|
+
spoofableLocals: new Set(),
|
|
71
|
+
safeCallerGuard: hasModifierSafeCallerGuard(fn, ctx),
|
|
72
|
+
spoofedAuth: hasSpoofedModifierAuth(fn, ctx),
|
|
73
|
+
verifiedActorParams: new Set(),
|
|
74
|
+
};
|
|
75
|
+
let findingNode = null;
|
|
76
|
+
const visitor = (node) => {
|
|
77
|
+
if (findingNode)
|
|
78
|
+
return;
|
|
79
|
+
if (isNode(node, 'VariableDeclarationStatement')) {
|
|
80
|
+
this.recordSpoofableLocals(node, state, ctx);
|
|
81
|
+
return;
|
|
82
|
+
}
|
|
83
|
+
if (isRequireOrAssert(node)) {
|
|
84
|
+
if (isSpoofedAuthorizationPredicate(firstArg(node), state, ctx)) {
|
|
85
|
+
state.spoofedAuth = true;
|
|
86
|
+
}
|
|
87
|
+
return;
|
|
88
|
+
}
|
|
89
|
+
if (isInternalCall(node, ctx)) {
|
|
90
|
+
if (internalCallHasSpoofedAuth(node, state, ctx)) {
|
|
91
|
+
state.spoofedAuth = true;
|
|
92
|
+
}
|
|
93
|
+
return;
|
|
94
|
+
}
|
|
95
|
+
if (isAssignmentNode(node)) {
|
|
96
|
+
if (isVerifiedNoOpAssignment(node, state, ctx)) {
|
|
97
|
+
return;
|
|
98
|
+
}
|
|
99
|
+
if (!state.safeCallerGuard && isPrivilegedIdentityAssignment(node, state, ctx)) {
|
|
100
|
+
findingNode = node;
|
|
101
|
+
return;
|
|
102
|
+
}
|
|
103
|
+
if (!state.safeCallerGuard && isSpoofedAuthorizationStateWrite(node, state, ctx)) {
|
|
104
|
+
findingNode = node;
|
|
105
|
+
return;
|
|
106
|
+
}
|
|
107
|
+
}
|
|
108
|
+
if (!state.safeCallerGuard && state.spoofedAuth && isSensitiveOperation(node, ctx)) {
|
|
109
|
+
findingNode = node;
|
|
110
|
+
}
|
|
111
|
+
};
|
|
112
|
+
const statements = (fn.body && fn.body.statements) || [];
|
|
113
|
+
for (const stmt of statements) {
|
|
114
|
+
if (findingNode)
|
|
115
|
+
break;
|
|
116
|
+
walk(stmt, visitor);
|
|
117
|
+
if (topLevelStatementIsSafeCallerGuard(stmt, ctx)) {
|
|
118
|
+
state.safeCallerGuard = true;
|
|
119
|
+
}
|
|
120
|
+
recordTopLevelSpoofedAuth(stmt, state, ctx);
|
|
121
|
+
}
|
|
122
|
+
return findingNode;
|
|
123
|
+
}
|
|
124
|
+
recordSpoofableLocals(node, state, ctx) {
|
|
125
|
+
if (!node.initialValue)
|
|
126
|
+
return;
|
|
127
|
+
if (!isExternalCall(node.initialValue, ctx) && !isSpoofableExpr(node.initialValue, state, ctx))
|
|
128
|
+
return;
|
|
129
|
+
for (const variable of node.variables || []) {
|
|
130
|
+
if (variable?.name)
|
|
131
|
+
state.spoofableLocals.add(variable.name);
|
|
132
|
+
}
|
|
133
|
+
}
|
|
134
|
+
}
|
|
135
|
+
exports.ArbitraryAddressSpoofingDetector = ArbitraryAddressSpoofingDetector;
|
|
136
|
+
function collectStateVariables(contract) {
|
|
137
|
+
const vars = new Set();
|
|
138
|
+
for (const node of contract.subNodes || []) {
|
|
139
|
+
if (!isNode(node, 'StateVariableDeclaration'))
|
|
140
|
+
continue;
|
|
141
|
+
for (const variable of node.variables || []) {
|
|
142
|
+
if (variable?.name)
|
|
143
|
+
vars.add(variable.name);
|
|
144
|
+
}
|
|
145
|
+
}
|
|
146
|
+
return vars;
|
|
147
|
+
}
|
|
148
|
+
function collectMembers(contract, type) {
|
|
149
|
+
const members = new Map();
|
|
150
|
+
for (const node of contract.subNodes || []) {
|
|
151
|
+
if (isNode(node, type) && node.name)
|
|
152
|
+
members.set(node.name, node);
|
|
153
|
+
}
|
|
154
|
+
return members;
|
|
155
|
+
}
|
|
156
|
+
function collectInternalFunctions(contract) {
|
|
157
|
+
const fns = new Map();
|
|
158
|
+
for (const node of contract.subNodes || []) {
|
|
159
|
+
if (!isNode(node, 'FunctionDefinition') || !node.name || !node.body)
|
|
160
|
+
continue;
|
|
161
|
+
if (node.visibility === 'internal' || node.visibility === 'private' || !node.visibility) {
|
|
162
|
+
fns.set(node.name, node);
|
|
163
|
+
}
|
|
164
|
+
}
|
|
165
|
+
return fns;
|
|
166
|
+
}
|
|
167
|
+
function collectAddressParameterNames(fn) {
|
|
168
|
+
const params = new Set();
|
|
169
|
+
for (const param of fn.parameters || []) {
|
|
170
|
+
if (param?.name && isAddressType(param.typeName))
|
|
171
|
+
params.add(param.name);
|
|
172
|
+
}
|
|
173
|
+
return params;
|
|
174
|
+
}
|
|
175
|
+
function hasModifierSafeCallerGuard(fn, ctx) {
|
|
176
|
+
for (const modifier of fn.modifiers || []) {
|
|
177
|
+
const name = modifier?.name;
|
|
178
|
+
if (!name)
|
|
179
|
+
continue;
|
|
180
|
+
const normalized = name.toLowerCase();
|
|
181
|
+
if (normalized === 'onlyowner' || normalized === 'onlyrole') {
|
|
182
|
+
const definition = ctx.modifiers.get(name);
|
|
183
|
+
if (definition?.body) {
|
|
184
|
+
if (modifierBodyHasMandatoryCallerGuard(definition.body, ctx))
|
|
185
|
+
return true;
|
|
186
|
+
continue;
|
|
187
|
+
}
|
|
188
|
+
if (invocationHasSpoofableArg(modifier, fn))
|
|
189
|
+
continue;
|
|
190
|
+
return true;
|
|
191
|
+
}
|
|
192
|
+
const definition = ctx.modifiers.get(name);
|
|
193
|
+
if (definition?.body && modifierBodyHasMandatoryCallerGuard(definition.body, ctx))
|
|
194
|
+
return true;
|
|
195
|
+
}
|
|
196
|
+
return false;
|
|
197
|
+
}
|
|
198
|
+
function invocationHasSpoofableArg(modifierInvocation, fn) {
|
|
199
|
+
const args = modifierInvocation?.arguments || [];
|
|
200
|
+
for (const arg of args) {
|
|
201
|
+
if (isSpoofableInvocationArgument(arg, fn))
|
|
202
|
+
return true;
|
|
203
|
+
}
|
|
204
|
+
return false;
|
|
205
|
+
}
|
|
206
|
+
function modifierBodyHasMandatoryCallerGuard(body, ctx) {
|
|
207
|
+
const statements = body?.statements || [];
|
|
208
|
+
for (const stmt of statements) {
|
|
209
|
+
if (topLevelStatementIsSafeCallerGuard(stmt, ctx))
|
|
210
|
+
return true;
|
|
211
|
+
}
|
|
212
|
+
return false;
|
|
213
|
+
}
|
|
214
|
+
function topLevelStatementIsSafeCallerGuard(stmt, ctx) {
|
|
215
|
+
if (isNode(stmt, 'IfStatement')) {
|
|
216
|
+
return !stmt.falseBody
|
|
217
|
+
&& isRejectingNonAuthorityCallerPredicate(stmt.condition, ctx)
|
|
218
|
+
&& consequentUnconditionallyReverts(stmt.trueBody);
|
|
219
|
+
}
|
|
220
|
+
if (!isNode(stmt, 'ExpressionStatement'))
|
|
221
|
+
return false;
|
|
222
|
+
const expr = stmt.expression;
|
|
223
|
+
if (!expr)
|
|
224
|
+
return false;
|
|
225
|
+
if (isRequireOrAssert(expr) && isSafeCallerPredicate(firstArg(expr), ctx))
|
|
226
|
+
return true;
|
|
227
|
+
if (isNode(expr, 'FunctionCall') && isRoleHelperSafeGuard(expr))
|
|
228
|
+
return true;
|
|
229
|
+
return false;
|
|
230
|
+
}
|
|
231
|
+
function recordTopLevelSpoofedAuth(stmt, state, ctx) {
|
|
232
|
+
if (isNode(stmt, 'IfStatement') && !stmt.falseBody && consequentUnconditionallyReverts(stmt.trueBody)) {
|
|
233
|
+
const verified = identifySpoofedAuthRejectingPredicate(stmt.condition, state, ctx);
|
|
234
|
+
if (verified) {
|
|
235
|
+
state.spoofedAuth = true;
|
|
236
|
+
state.verifiedActorParams.add(verified);
|
|
237
|
+
}
|
|
238
|
+
return;
|
|
239
|
+
}
|
|
240
|
+
if (isNode(stmt, 'ExpressionStatement') && isNode(stmt.expression, 'FunctionCall')) {
|
|
241
|
+
const expr = stmt.expression;
|
|
242
|
+
if (ROLE_HELPER_NAMES.has(getCallName(expr))) {
|
|
243
|
+
const args = expr.arguments || [];
|
|
244
|
+
if (args.length >= 2 && isSpoofableExpr(args[1], state, ctx)) {
|
|
245
|
+
state.spoofedAuth = true;
|
|
246
|
+
}
|
|
247
|
+
}
|
|
248
|
+
}
|
|
249
|
+
}
|
|
250
|
+
function identifySpoofedAuthRejectingPredicate(expr, state, ctx) {
|
|
251
|
+
if (!expr)
|
|
252
|
+
return null;
|
|
253
|
+
if (isNode(expr, 'TupleExpression')) {
|
|
254
|
+
const components = expr.components || [];
|
|
255
|
+
if (components.length === 1)
|
|
256
|
+
return identifySpoofedAuthRejectingPredicate(components[0], state, ctx);
|
|
257
|
+
return null;
|
|
258
|
+
}
|
|
259
|
+
if (!isNode(expr, 'BinaryOperation'))
|
|
260
|
+
return null;
|
|
261
|
+
if (expr.operator !== '!=' && expr.operator !== '!==')
|
|
262
|
+
return null;
|
|
263
|
+
if (isCallerReference(expr.left) || isCallerReference(expr.right))
|
|
264
|
+
return null;
|
|
265
|
+
if (isSpoofableExpr(expr.left, state, ctx) && isAuthorityExpr(expr.right, ctx)) {
|
|
266
|
+
return referenceRoot(expr.left);
|
|
267
|
+
}
|
|
268
|
+
if (isSpoofableExpr(expr.right, state, ctx) && isAuthorityExpr(expr.left, ctx)) {
|
|
269
|
+
return referenceRoot(expr.right);
|
|
270
|
+
}
|
|
271
|
+
return null;
|
|
272
|
+
}
|
|
273
|
+
function isVerifiedNoOpAssignment(node, state, ctx) {
|
|
274
|
+
const assignment = assignmentParts(node);
|
|
275
|
+
if (!assignment)
|
|
276
|
+
return false;
|
|
277
|
+
const leftRoot = referenceRoot(assignment.left);
|
|
278
|
+
if (!ctx.stateVars.has(leftRoot) || !isPrivilegedStateName(leftRoot))
|
|
279
|
+
return false;
|
|
280
|
+
const rightRoot = referenceRoot(assignment.right);
|
|
281
|
+
return !!rightRoot && state.verifiedActorParams.has(rightRoot);
|
|
282
|
+
}
|
|
283
|
+
function isRejectingNonAuthorityCallerPredicate(expr, ctx) {
|
|
284
|
+
if (!expr)
|
|
285
|
+
return false;
|
|
286
|
+
if (isNode(expr, 'TupleExpression')) {
|
|
287
|
+
const components = expr.components || [];
|
|
288
|
+
if (components.length === 1)
|
|
289
|
+
return isRejectingNonAuthorityCallerPredicate(components[0], ctx);
|
|
290
|
+
return false;
|
|
291
|
+
}
|
|
292
|
+
if (isNode(expr, 'UnaryOperation') && expr.operator === '!') {
|
|
293
|
+
return isSafeCallerPredicate(expr.subExpression, ctx);
|
|
294
|
+
}
|
|
295
|
+
if (!isNode(expr, 'BinaryOperation'))
|
|
296
|
+
return false;
|
|
297
|
+
const op = expr.operator;
|
|
298
|
+
if (op !== '!=' && op !== '!==')
|
|
299
|
+
return false;
|
|
300
|
+
const left = expr.left;
|
|
301
|
+
const right = expr.right;
|
|
302
|
+
return (isCallerReference(left) && isStableAuthorityExpr(right, ctx))
|
|
303
|
+
|| (isCallerReference(right) && isStableAuthorityExpr(left, ctx));
|
|
304
|
+
}
|
|
305
|
+
function consequentUnconditionallyReverts(stmt) {
|
|
306
|
+
if (!stmt)
|
|
307
|
+
return false;
|
|
308
|
+
if (isNode(stmt, 'Block')) {
|
|
309
|
+
const statements = stmt.statements || [];
|
|
310
|
+
return statements.length === 1 && consequentUnconditionallyReverts(statements[0]);
|
|
311
|
+
}
|
|
312
|
+
if (isNode(stmt, 'ThrowStatement') || isNode(stmt, 'RevertStatement'))
|
|
313
|
+
return true;
|
|
314
|
+
if (isNode(stmt, 'ExpressionStatement')) {
|
|
315
|
+
return isNode(stmt.expression, 'FunctionCall') && getCallName(stmt.expression).toLowerCase() === 'revert';
|
|
316
|
+
}
|
|
317
|
+
return false;
|
|
318
|
+
}
|
|
319
|
+
function hasSpoofedModifierAuth(fn, ctx) {
|
|
320
|
+
for (const invocation of fn.modifiers || []) {
|
|
321
|
+
const definition = ctx.modifiers.get(invocation?.name);
|
|
322
|
+
if (!definition?.body)
|
|
323
|
+
continue;
|
|
324
|
+
const modifierParams = new Set((definition.parameters || []).map((param) => param?.name).filter(Boolean));
|
|
325
|
+
const spoofedParams = new Set();
|
|
326
|
+
const args = invocation.arguments || [];
|
|
327
|
+
const params = definition.parameters || [];
|
|
328
|
+
params.forEach((param, index) => {
|
|
329
|
+
if (param?.name && isSpoofableInvocationArgument(args[index], fn))
|
|
330
|
+
spoofedParams.add(param.name);
|
|
331
|
+
});
|
|
332
|
+
const state = {
|
|
333
|
+
addressParams: new Set([...modifierParams].filter(name => spoofedParams.has(name))),
|
|
334
|
+
spoofableLocals: new Set(),
|
|
335
|
+
safeCallerGuard: false,
|
|
336
|
+
spoofedAuth: false,
|
|
337
|
+
verifiedActorParams: new Set(),
|
|
338
|
+
};
|
|
339
|
+
let found = false;
|
|
340
|
+
walk(definition.body, node => {
|
|
341
|
+
if (found)
|
|
342
|
+
return;
|
|
343
|
+
if (isSpoofedAuthGuardNode(node, state, ctx))
|
|
344
|
+
found = true;
|
|
345
|
+
});
|
|
346
|
+
if (found)
|
|
347
|
+
return true;
|
|
348
|
+
}
|
|
349
|
+
return false;
|
|
350
|
+
}
|
|
351
|
+
function isSpoofableInvocationArgument(arg, fn) {
|
|
352
|
+
if (!arg)
|
|
353
|
+
return false;
|
|
354
|
+
const fnAddressParams = collectAddressParameterNames(fn);
|
|
355
|
+
return fnAddressParams.has(referenceRoot(arg));
|
|
356
|
+
}
|
|
357
|
+
function internalCallHasSpoofedAuth(call, state, ctx) {
|
|
358
|
+
const callee = ctx.internalFunctions.get(getCallName(call));
|
|
359
|
+
if (!callee?.body)
|
|
360
|
+
return false;
|
|
361
|
+
const localState = {
|
|
362
|
+
addressParams: new Set(),
|
|
363
|
+
spoofableLocals: new Set(),
|
|
364
|
+
safeCallerGuard: false,
|
|
365
|
+
spoofedAuth: false,
|
|
366
|
+
verifiedActorParams: new Set(),
|
|
367
|
+
};
|
|
368
|
+
const params = callee.parameters || [];
|
|
369
|
+
const args = call.arguments || [];
|
|
370
|
+
params.forEach((param, index) => {
|
|
371
|
+
if (param?.name && isSpoofableExpr(args[index], state, ctx)) {
|
|
372
|
+
localState.addressParams.add(param.name);
|
|
373
|
+
}
|
|
374
|
+
});
|
|
375
|
+
let found = false;
|
|
376
|
+
walk(callee.body, node => {
|
|
377
|
+
if (found)
|
|
378
|
+
return;
|
|
379
|
+
if (isSpoofedAuthGuardNode(node, localState, ctx))
|
|
380
|
+
found = true;
|
|
381
|
+
});
|
|
382
|
+
return found;
|
|
383
|
+
}
|
|
384
|
+
function isSpoofedAuthGuardNode(node, state, ctx) {
|
|
385
|
+
if (isRequireOrAssert(node)) {
|
|
386
|
+
return isSpoofedAuthorizationPredicate(firstArg(node), state, ctx);
|
|
387
|
+
}
|
|
388
|
+
return isNode(node, 'IfStatement')
|
|
389
|
+
&& !node.falseBody
|
|
390
|
+
&& consequentUnconditionallyReverts(node.trueBody)
|
|
391
|
+
&& !!identifySpoofedAuthRejectingPredicate(node.condition, state, ctx);
|
|
392
|
+
}
|
|
393
|
+
function isSpoofedAuthorizationPredicate(expr, state, ctx) {
|
|
394
|
+
if (!expr)
|
|
395
|
+
return false;
|
|
396
|
+
if (isNode(expr, 'BinaryOperation')) {
|
|
397
|
+
const op = expr.operator;
|
|
398
|
+
const left = expr.left;
|
|
399
|
+
const right = expr.right;
|
|
400
|
+
if (op === '==' || op === '===') {
|
|
401
|
+
if (isCallerReference(left) || isCallerReference(right)) {
|
|
402
|
+
const other = isCallerReference(left) ? right : left;
|
|
403
|
+
return isStorageDerivedAddressCast(other, ctx);
|
|
404
|
+
}
|
|
405
|
+
return (isSpoofableExpr(left, state, ctx) && isAuthorityExpr(right, ctx))
|
|
406
|
+
|| (isSpoofableExpr(right, state, ctx) && isAuthorityExpr(left, ctx));
|
|
407
|
+
}
|
|
408
|
+
}
|
|
409
|
+
if (isNode(expr, 'TupleExpression')) {
|
|
410
|
+
return (expr.components || []).some((component) => isSpoofedAuthorizationPredicate(component, state, ctx));
|
|
411
|
+
}
|
|
412
|
+
if (isNode(expr, 'FunctionCall')) {
|
|
413
|
+
const name = getCallName(expr);
|
|
414
|
+
if (['hasRole', '_checkRole', 'checkRole'].includes(name)) {
|
|
415
|
+
const args = expr.arguments || [];
|
|
416
|
+
return args.length >= 2 && isSpoofableExpr(args[1], state, ctx);
|
|
417
|
+
}
|
|
418
|
+
}
|
|
419
|
+
return childNodes(expr).some(child => isSpoofedAuthorizationPredicate(child, state, ctx));
|
|
420
|
+
}
|
|
421
|
+
function isSafeCallerPredicate(expr, ctx) {
|
|
422
|
+
if (!expr)
|
|
423
|
+
return false;
|
|
424
|
+
if (isNode(expr, 'TupleExpression')) {
|
|
425
|
+
const components = expr.components || [];
|
|
426
|
+
if (components.length === 1)
|
|
427
|
+
return isSafeCallerPredicate(components[0], ctx);
|
|
428
|
+
return false;
|
|
429
|
+
}
|
|
430
|
+
if (isNode(expr, 'FunctionCall')) {
|
|
431
|
+
return isRoleHelperSafeGuard(expr);
|
|
432
|
+
}
|
|
433
|
+
if (isNode(expr, 'BinaryOperation')) {
|
|
434
|
+
const op = expr.operator;
|
|
435
|
+
if (op === '&&') {
|
|
436
|
+
return isSafeCallerPredicate(expr.left, ctx) || isSafeCallerPredicate(expr.right, ctx);
|
|
437
|
+
}
|
|
438
|
+
if (op === '||') {
|
|
439
|
+
return false;
|
|
440
|
+
}
|
|
441
|
+
if (op === '==' || op === '===') {
|
|
442
|
+
const left = expr.left;
|
|
443
|
+
const right = expr.right;
|
|
444
|
+
return (isCallerReference(left) && isStableAuthorityExpr(right, ctx))
|
|
445
|
+
|| (isCallerReference(right) && isStableAuthorityExpr(left, ctx));
|
|
446
|
+
}
|
|
447
|
+
}
|
|
448
|
+
return false;
|
|
449
|
+
}
|
|
450
|
+
function isRoleHelperSafeGuard(expr) {
|
|
451
|
+
const name = getCallName(expr);
|
|
452
|
+
if (!['hasRole', '_checkRole', 'checkRole'].includes(name))
|
|
453
|
+
return false;
|
|
454
|
+
const args = expr.arguments || [];
|
|
455
|
+
if (name === 'hasRole') {
|
|
456
|
+
return args.length >= 2 && isCallerReference(args[1]);
|
|
457
|
+
}
|
|
458
|
+
if (args.length <= 1)
|
|
459
|
+
return true;
|
|
460
|
+
return isCallerReference(args[1]);
|
|
461
|
+
}
|
|
462
|
+
function isPrivilegedIdentityAssignment(node, state, ctx) {
|
|
463
|
+
const assignment = assignmentParts(node);
|
|
464
|
+
if (!assignment)
|
|
465
|
+
return false;
|
|
466
|
+
const leftRoot = referenceRoot(assignment.left);
|
|
467
|
+
if (!ctx.stateVars.has(leftRoot) || !isPrivilegedStateName(leftRoot))
|
|
468
|
+
return false;
|
|
469
|
+
return isSpoofableExpr(assignment.right, state, ctx);
|
|
470
|
+
}
|
|
471
|
+
function isSpoofedAuthorizationStateWrite(node, state, ctx) {
|
|
472
|
+
const assignment = assignmentParts(node);
|
|
473
|
+
if (!assignment)
|
|
474
|
+
return false;
|
|
475
|
+
if (!isNode(assignment.left, 'IndexAccess'))
|
|
476
|
+
return false;
|
|
477
|
+
const base = referenceRoot(assignment.left.base);
|
|
478
|
+
if (!ctx.stateVars.has(base) || !ROLE_MAPPING_NAMES.has(base.toLowerCase()))
|
|
479
|
+
return false;
|
|
480
|
+
return isSpoofableExpr(assignment.left.index, state, ctx);
|
|
481
|
+
}
|
|
482
|
+
function isSensitiveOperation(node, ctx) {
|
|
483
|
+
if (isAssignmentNode(node)) {
|
|
484
|
+
const assignment = assignmentParts(node);
|
|
485
|
+
if (!assignment)
|
|
486
|
+
return false;
|
|
487
|
+
return ctx.stateVars.has(referenceRoot(assignment.left));
|
|
488
|
+
}
|
|
489
|
+
if (isNode(node, 'UnaryOperation') && node.operator === 'delete') {
|
|
490
|
+
return ctx.stateVars.has(referenceRoot(node.subExpression));
|
|
491
|
+
}
|
|
492
|
+
if (isNode(node, 'FunctionCall')) {
|
|
493
|
+
const expr = node.expression;
|
|
494
|
+
if (isNode(expr, 'MemberAccess') && TRANSFER_MEMBERS.has(expr.memberName))
|
|
495
|
+
return true;
|
|
496
|
+
}
|
|
497
|
+
return false;
|
|
498
|
+
}
|
|
499
|
+
function isSpoofableExpr(expr, state, ctx) {
|
|
500
|
+
if (!expr)
|
|
501
|
+
return false;
|
|
502
|
+
const root = referenceRoot(expr);
|
|
503
|
+
if (state.addressParams.has(root) || state.spoofableLocals.has(root))
|
|
504
|
+
return true;
|
|
505
|
+
return isStorageDerivedAddressCast(expr, ctx);
|
|
506
|
+
}
|
|
507
|
+
function isAuthorityExpr(expr, ctx) {
|
|
508
|
+
if (!expr)
|
|
509
|
+
return false;
|
|
510
|
+
const root = referenceRoot(expr);
|
|
511
|
+
if (ctx.stateVars.has(root))
|
|
512
|
+
return true;
|
|
513
|
+
if (isNode(expr, 'FunctionCall')) {
|
|
514
|
+
const name = getCallName(expr).toLowerCase();
|
|
515
|
+
if (name.startsWith('ownerof') || AUTH_NAMES.has(name))
|
|
516
|
+
return true;
|
|
517
|
+
}
|
|
518
|
+
return false;
|
|
519
|
+
}
|
|
520
|
+
function isStableAuthorityExpr(expr, ctx) {
|
|
521
|
+
if (isStorageDerivedAddressCast(expr, ctx))
|
|
522
|
+
return false;
|
|
523
|
+
return isAuthorityExpr(expr, ctx);
|
|
524
|
+
}
|
|
525
|
+
function isStorageDerivedAddressCast(expr, ctx) {
|
|
526
|
+
if (!isNode(expr, 'FunctionCall'))
|
|
527
|
+
return false;
|
|
528
|
+
const name = getCallName(expr).toLowerCase();
|
|
529
|
+
if (!['address', 'payable', 'uint160', 'uint256', 'bytes32'].includes(name))
|
|
530
|
+
return false;
|
|
531
|
+
return containsStateRead(expr, ctx);
|
|
532
|
+
}
|
|
533
|
+
function containsStateRead(expr, ctx) {
|
|
534
|
+
let found = false;
|
|
535
|
+
walk(expr, node => {
|
|
536
|
+
if (found)
|
|
537
|
+
return;
|
|
538
|
+
if (isNode(node, 'Identifier') && ctx.stateVars.has(node.name))
|
|
539
|
+
found = true;
|
|
540
|
+
});
|
|
541
|
+
return found;
|
|
542
|
+
}
|
|
543
|
+
function isExternalCall(expr, ctx) {
|
|
544
|
+
if (!isNode(expr, 'FunctionCall'))
|
|
545
|
+
return false;
|
|
546
|
+
const callee = expr.expression;
|
|
547
|
+
if (!isNode(callee, 'MemberAccess'))
|
|
548
|
+
return false;
|
|
549
|
+
const root = referenceRoot(callee.expression);
|
|
550
|
+
return !!root && ctx.stateVars.has(root);
|
|
551
|
+
}
|
|
552
|
+
function isInternalCall(node, ctx) {
|
|
553
|
+
return isNode(node, 'FunctionCall') && ctx.internalFunctions.has(getCallName(node));
|
|
554
|
+
}
|
|
555
|
+
function firstArg(call) {
|
|
556
|
+
return (call.arguments || [])[0];
|
|
557
|
+
}
|
|
558
|
+
function isRequireOrAssert(node) {
|
|
559
|
+
return isNode(node, 'FunctionCall') && ['require', 'assert'].includes(getCallName(node));
|
|
560
|
+
}
|
|
561
|
+
function getCallName(call) {
|
|
562
|
+
const expr = call?.expression;
|
|
563
|
+
if (isNode(expr, 'Identifier') || isNode(expr, 'ElementaryTypeName'))
|
|
564
|
+
return expr.name || '';
|
|
565
|
+
if (isNode(expr, 'MemberAccess'))
|
|
566
|
+
return expr.memberName || '';
|
|
567
|
+
return '';
|
|
568
|
+
}
|
|
569
|
+
function isCallerReference(expr) {
|
|
570
|
+
return isNode(expr, 'MemberAccess')
|
|
571
|
+
&& expr.memberName === 'sender'
|
|
572
|
+
&& isNode(expr.expression, 'Identifier')
|
|
573
|
+
&& expr.expression.name === 'msg';
|
|
574
|
+
}
|
|
575
|
+
function isPrivilegedStateName(name) {
|
|
576
|
+
const lower = name.toLowerCase();
|
|
577
|
+
return AUTH_NAMES.has(lower) || lower.endsWith('owner') || lower.endsWith('admin');
|
|
578
|
+
}
|
|
579
|
+
function isAssignmentNode(node) {
|
|
580
|
+
const parts = assignmentParts(node);
|
|
581
|
+
return !!parts && ASSIGNMENT_OPERATORS.has(parts.operator);
|
|
582
|
+
}
|
|
583
|
+
function assignmentParts(node) {
|
|
584
|
+
const expr = isNode(node, 'ExpressionStatement') ? node.expression : node;
|
|
585
|
+
if (!expr)
|
|
586
|
+
return null;
|
|
587
|
+
if (isNode(expr, 'Assignment'))
|
|
588
|
+
return { left: expr.left, right: expr.right, operator: expr.operator || '=' };
|
|
589
|
+
if (isNode(expr, 'BinaryOperation') && ASSIGNMENT_OPERATORS.has(expr.operator)) {
|
|
590
|
+
return { left: expr.left, right: expr.right, operator: expr.operator };
|
|
591
|
+
}
|
|
592
|
+
return null;
|
|
593
|
+
}
|
|
594
|
+
function referenceRoot(expr) {
|
|
595
|
+
if (!expr)
|
|
596
|
+
return '';
|
|
597
|
+
if (isNode(expr, 'Identifier'))
|
|
598
|
+
return expr.name || '';
|
|
599
|
+
if (isNode(expr, 'MemberAccess'))
|
|
600
|
+
return referenceRoot(expr.expression);
|
|
601
|
+
if (isNode(expr, 'IndexAccess'))
|
|
602
|
+
return referenceRoot(expr.base);
|
|
603
|
+
if (isNode(expr, 'FunctionCall'))
|
|
604
|
+
return referenceRoot((expr.arguments || [])[0]);
|
|
605
|
+
return '';
|
|
606
|
+
}
|
|
607
|
+
function isAddressType(typeName) {
|
|
608
|
+
if (!typeName)
|
|
609
|
+
return false;
|
|
610
|
+
if (typeName.name === 'address')
|
|
611
|
+
return true;
|
|
612
|
+
if (typeName.type === 'ElementaryTypeName' && String(typeName.name || '').startsWith('address'))
|
|
613
|
+
return true;
|
|
614
|
+
return String(typeName.namePath || '').toLowerCase() === 'address';
|
|
615
|
+
}
|
|
616
|
+
function isExternallyCallable(fn) {
|
|
617
|
+
return fn.visibility === 'external' || fn.visibility === 'public' || !fn.visibility;
|
|
618
|
+
}
|
|
619
|
+
function isReadOnly(fn) {
|
|
620
|
+
const mutability = String(fn.stateMutability || '').toLowerCase();
|
|
621
|
+
return mutability === 'view' || mutability === 'pure';
|
|
622
|
+
}
|
|
623
|
+
function isNode(node, type) {
|
|
624
|
+
return !!node && typeof node === 'object' && node.type === type;
|
|
625
|
+
}
|
|
626
|
+
function locOf(node) {
|
|
627
|
+
const start = node?.loc?.start;
|
|
628
|
+
if (!start)
|
|
629
|
+
return null;
|
|
630
|
+
return { line: start.line || 0, column: start.column || 0 };
|
|
631
|
+
}
|
|
632
|
+
function walk(node, cb) {
|
|
633
|
+
if (!node || typeof node !== 'object')
|
|
634
|
+
return;
|
|
635
|
+
cb(node);
|
|
636
|
+
for (const child of childNodes(node))
|
|
637
|
+
walk(child, cb);
|
|
638
|
+
}
|
|
639
|
+
function childNodes(node) {
|
|
640
|
+
const out = [];
|
|
641
|
+
for (const key of Object.keys(node || {})) {
|
|
642
|
+
if (key === 'loc' || key === 'range')
|
|
643
|
+
continue;
|
|
644
|
+
const value = node[key];
|
|
645
|
+
if (Array.isArray(value)) {
|
|
646
|
+
for (const child of value) {
|
|
647
|
+
if (child && typeof child === 'object')
|
|
648
|
+
out.push(child);
|
|
649
|
+
}
|
|
650
|
+
}
|
|
651
|
+
else if (value && typeof value === 'object') {
|
|
652
|
+
out.push(value);
|
|
653
|
+
}
|
|
654
|
+
}
|
|
655
|
+
return out;
|
|
656
|
+
}
|
|
657
|
+
//# sourceMappingURL=arbitrary-address-spoofing.js.map
|