@snovon/solast 0.2.0

package/dist/index.d.ts

@@ -0,0 +1,174 @@
+/**
+ * SolAST public API surface — pure re-export shim.
+ *
+ * Library consumers `import { scan, ScanResult, ... } from 'solast'`
+ * and the CLI in `src/cli.ts` is a thin wrapper over this entry point.
+ * Implementation lives in:
+ *
+ *   - `src/api.ts`       — `ScanResult`, `ScanOptions`, `scan()`
+ *   - `src/scan.ts`      — `scanFiles`, `scanAst`, `discoverFiles`
+ *   - `src/registry.ts`  — `createDefaultDetectorRegistry()`
+ *   - `src/identity/hashing.ts` — `computeContractHash` / `computeFindingId` / `computeSnippetHash`
+ *   - `src/detectors/`   — every detector class
+ *
+ * The detector files importing from `'../index'` continue to see
+ * `ScanResult` and the helper exports here. External re-exports of
+ * detector classes for downstream consumers are also collected below
+ * so `import { DetectorClass } from 'solast'` keeps working.
+ *
+
+ */
+export { type ScanResult, type ScanOptions, scan } from './api';
+export { scanFiles, scanAst, discoverFiles } from './scan';
+export { createDefaultDetectorRegistry } from './registry';
+export { computeContractHash, computeFindingId, computeSnippetHash } from './identity/hashing';
+export { resolveReturnNames, type ReturnName } from './ast/resolve-return-names';
+export { resolveStorageLayoutAccess, type StorageAccessResolution, type StorageLayoutEntry, type StorageLayoutInput, type StorageLayoutType, } from './ast/storage-layout';
+export { pragmaAllowsPre080, ARITH_OPERATORS, COMPOUND_ARITH_OPERATORS, COMPOUND_TO_BARE_ARITH, ARITH_DIRECTION, isArithmeticBinaryOp, classifyTypeName, isConstantExpr, expressionSignature, unwrapTuple, collectGuardSignatures, isRequireFunctionCall, type Signedness, type IsUnsignedFn, } from './detectors/_common/integer-overflow-helpers';
+export { DetectorRegistry } from './detectors/registry-engine';
+export { type Detector, type DetectorAstKind } from './detectors/types';
+export { ruleTiers } from './rules/tiers';
+export { TaintTracker, type TaintQueryOptions, type TaintSourcePredicate } from './semantic/taint-tracker';
+export { ReentrancyDetector } from './detectors/classic-reentrancy';
+export { IntegerOverflowDetector } from './detectors/integer-overflow';
+export { CrossContractIntegerOverflowDetector } from './detectors/cross-contract-integer-overflow';
+export { AccessControlDetector } from './detectors/access-control';
+export { OzAccessControlRolesDetector } from './detectors/oz-access-control-roles';
+export { BalancerWeightedPoolFlashLoanDetector } from './detectors/balancer-weighted-pool-flash-loan';
+export { BalancerFlashLoanManipulationDetector } from './detectors/balancer-flash-loan-manipulation';
+export { BalancerPauseGuardDetector } from './detectors/balancer-pause-guard';
+export { BytecodeDivergenceRiskDetector } from './detectors/bytecode-divergence-risk';
+export { BusinessLogicFlawDetector } from './detectors/business-logic-flaw';
+export { BusinessLogicFlawIncorrectRecipientBalanceDetector } from './detectors/business-logic-flaw-incorrect-recipient-balance';
+export { CrossProtocolContagionDetector, type CrossProtocolContagionConfig, type CrossProtocolMapping, type CrossProtocolRole, } from './detectors/cross-protocol-contagion';
+export { CrossChainMessagingLoopholeDetector } from './detectors/cross-chain-messaging';
+export { CrossChainTruncationDetector } from './detectors/cross-chain-truncation';
+export { ArbitrumCrossChainMessageReplayDetector } from './detectors/arbitrum-cross-chain-message-replay';
+export { CcipReceiverMissingReplayGuardDetector } from './detectors/ccip-receiver-missing-replay-guard';
+export { CrossContractReentrancyTrustedCalleeDetector } from './detectors/cross-contract-reentrancy-trusted-callee';
+export { CrossChainMessageOrderDependencyDetector } from './detectors/cross-chain-message-order-dependency';
+export { CrossChainMsgTruncationDetector } from './detectors/cross-chain-msg-truncation';
+export { OracleManipulationAmmSpotPriceDetector } from './detectors/oracle-manipulation-amm-spot-price';
+export { OracleManipulationLiquidityWithdrawalDetector } from './detectors/oracle-manipulation-liquidity-withdrawal';
+export { SolanaEvmBridgeTruncationDetector } from './detectors/solana-evm-bridge-truncation';
+export { CrossChainArbitraryCallDetector } from './detectors/cross-chain-arbitrary-call';
+export { FusionV1SettlementArbitraryYulCalldDetector } from './detectors/fusion-v1-settlement-arbitrary-yul-calld';
+export { CrossVmReentrancyDetector } from './detectors/cross-vm-reentrancy';
+export { ChainCouplingRiskDetector } from './detectors/chain-coupling-risk';
+export { BridgeAccountingBypassDetector } from './detectors/bridge-accounting-bypass';
+export { ArbitraryStorageProofForgeryDetector } from './detectors/arbitrary-storage-proof-forgery';
+export { BridgeBusinessLogicFlawIncorrectAccDetector } from './detectors/bridge-business-logic-flaw-incorrect-acc';
+export { UncheckedCallForwardingDetector } from './detectors/unchecked-call-forwarding';
+export { DeferredStateUpdateDetector } from './detectors/deferred-state-update';
+export { UncheckedExternalCallDetector } from './detectors/unchecked-external-call';
+export { UncheckedExternalCallUnconditionalStateMutationDetector } from './detectors/unchecked-external-call-unconditional-state-mutation';
+export { Dn404MirrorAccessControlDetector } from './detectors/dn404-mirror-access-control';
+export { SkyOftGovernancePayloadDetector } from './detectors/sky-oft-governance-payload';
+export { SkyOftGovernanceTruncationDetector } from './detectors/sky-oft-governance-truncation';
+export { UncheckedOftReturnDetector } from './detectors/unchecked-oft-return';
+export { Erc4626TotalassetsStubDetector } from './detectors/erc4626-totalassets-stub';
+export { Eip4626VaultReentrancyDetector } from './detectors/eip4626-vault-reentrancy';
+export { Erc20UncheckedNonStandardReturnDetector } from './detectors/erc20-unchecked-non-standard-return';
+export { Erc7579ModuleInstallWithoutThresholdDetector } from './detectors/erc7579-module-install-without-threshold';
+export { FeeOnTransferBalanceMismatchDetector } from './detectors/fee-on-transfer-balance-mismatch';
+export { FeeMechanismExploitationDetector } from './detectors/fee-mechanism-exploitation';
+export { PairManipulationTransferHookDetector } from './detectors/pair-manipulation-transfer-hook';
+export { CacheArrayLengthDetector } from './detectors/cache-array-length';
+export { DosUnboundedLoopExternalCallRevertDetector } from './detectors/dos-unbounded-loop-external-call-revert';
+export { FreeMintBugDetector } from './detectors/free-mint-bug';
+export { IncorrectAccessControlDetector } from './detectors/incorrect-access-control';
+export { IncorrectInputValidationDetector } from './detectors/incorrect-input-validation';
+export { Erc2771ContextSpoofingDetector } from './detectors/erc2771-context-spoofing';
+export { Erc1271StubImplementationDetector } from './detectors/erc1271-stub-implementation';
+export { LayerZeroV2UnverifiedOriginDetector } from './detectors/layerzero-v2-unverified-origin';
+export { InsufficientDvnThresholdDetector } from './detectors/insufficient-dvn-threshold';
+export { LayerZeroDvnQuorumMissingDetector } from './detectors/layerzero-dvn-quorum-missing';
+export { BadDebtPropagationDetector } from './detectors/bad-debt-propagation';
+export { BypassedInsolvencyCheckDetector } from './detectors/bypassed-insolvency-check';
+export { InfiniteNumberOfLoansDetector } from './detectors/infinite-number-of-loans';
+export { AnyswapInsufficientTokenValidationDetector } from './detectors/anyswap-insufficient-token-validation';
+export { AnyswapAnytokenPermitAllowanceDrainDetector } from './detectors/anyswap-anytoken-permit-allowance-drain';
+export { AnalyzingTheUniswapV3ExploitDetector } from './detectors/analyzing-the-uniswap-v3-exploit';
+export { UnsignedValidityWindowDetector } from './detectors/unsigned-validity-window';
+export { L1ToL2MessageReentrancyDetector } from './detectors/l1-to-l2-message-reentrancy';
+export { L2WithdrawalValidationDetector } from './detectors/l2-withdrawal-validation';
+export { RollupUnvalidatedStateUpdateDetector } from './detectors/rollup-unvalidated-state-update';
+export { ZkSyncSimulationDriftDetector } from './detectors/zksync-simulation-drift';
+export { MissingSequencerUptimeCheckDetector } from './detectors/missing-sequencer-uptime-check';
+export { StorageCollisionMaliciousProposalDetector } from './detectors/storage-collision-malicious-proposal';
+export { UnguardedGovernanceExecutionDetector } from './detectors/unguarded-governance-execution';
+export { GovernanceFlashLoanDetector } from './detectors/governance-flash-loan';
+export { GovernanceFlashloanVoteDetector } from './detectors/governance-flashloan-vote';
+export { NetworkUnderflowDetector } from './detectors/network-underflow';
+export { UnboundedSharePriceCollateralOracleDetector } from './detectors/unbounded-share-price-collateral-oracle';
+export { VaultInflationRoundingDetector } from './detectors/vault-inflation-rounding';
+export { LiquidationGainManipulationDetector } from './detectors/liquidation-gain-manipulation';
+export { DonationShareInflationDetector } from './detectors/donation-share-inflation';
+export { MisconfigurationDetector } from './detectors/misconfiguration';
+export { SingleSpotOracleCollateralValuationDetector } from './detectors/single-spot-oracle-collateral-valuation';
+export { FallbackDelegatecallReentrancyDetector } from './detectors/fallback-delegatecall-reentrancy';
+export { DelegatecallFallbackReentrancyBypassDetector } from "./detectors/delegatecall-fallback-reentrancy-bypass";
+export { DelegatecallUntrustedImplementationDetector } from './detectors/delegatecall-untrusted-implementation';
+export { LiquidityPoisoningDetector } from './detectors/liquidity-poisoning';
+export { GeneralizedFrontrunningDetector } from './detectors/generalized-frontrunning';
+export { FrontRunningSharedCollateralWriteDetector } from './detectors/front-running-shared-collateral-write';
+export { MissingSwapDeadlineSlippageDetector } from './detectors/missing-swap-deadline-slippage';
+export { UnprotectedDexSwapDetector } from './detectors/unprotected-dex-swap';
+export { DogeFlashloanDetector } from './detectors/doge-flashloan';
+export { PriceDependencyVethDetector } from './detectors/price-dependency-veth';
+export { VulnerablePriceDependencyDetector } from './detectors/vulnerable-price-dependency';
+export { PriceOracleManipulationDetector } from './detectors/price-oracle-manipulation';
+export { InsecureRandomnessDetector } from './detectors/insecure-randomness';
+export { PriceManipulationReentrancyDetector } from './detectors/price-manipulation-reentrancy';
+export { MevSlotManipulationDetector } from './detectors/mev-slot-manipulation';
+export { MevbotInsufficientValidationDetector } from './detectors/mevbot-insufficient-validation';
+export { Erc777TokensToSendReentrancyDetector } from './detectors/erc777-tokens-to-send-reentrancy';
+export { UninitializedImplementationDetector } from './detectors/uninitialized-implementation';
+export { MissingStorageGapDetector } from './detectors/missing-storage-gap';
+export { UnprotectedPairInitializerDetector } from './detectors/unprotected-pair-initializer';
+export { Erc2612PermitFrontrunningDetector } from './detectors/erc2612-permit-frontrunning';
+export { PermitFutureDatedDeadlineDetector } from './detectors/permit-future-dated-deadline';
+export { CheckPermitMissingChainIdDetector } from './detectors/check-permit-missing-chainid';
+export { IncorrectSignatureVerificationDetector } from './detectors/incorrect-signature-verification';
+export { TokenIncorrectSignatureVerificationDetector } from './detectors/token-incorrect-signature-verification';
+export { FheEncryptedInputValidationDetector } from './detectors/fhe-encrypted-input-validation';
+export { ConstructorInterfaceNoAddressValidationDetector } from './detectors/constructor-interface-no-address-validation';
+export { ExploitingAVulnerabilityInCurveFinaDetector } from './detectors/exploiting-a-vulnerability-in-curve-fina';
+export { FheHandleLeakageDetector } from './detectors/fhe-handle-leakage';
+export { FheOzPatternMisuseDetector } from './detectors/fhe-oz-pattern-misuse';
+export { Eip712DomainSeparatorDetector } from './detectors/eip712-domain-separator';
+export { Eip712SignatureVerificationDetector } from './detectors/eip712-signature-verification';
+export { UnvalidatedInterfaceAddressDetector } from './detectors/unvalidated-interface-address';
+export { LackOfValidationDetector } from './detectors/lack-of-validation';
+export { TokenTransferLogicFlawDetector } from './detectors/token-transfer-logic-flaw';
+export { PublicInternalFunctionDetector } from './detectors/public-internal-function';
+export { WrongFunctionVisibilityDetector } from './detectors/wrong-function-visibility';
+export { EIP7702CrossChainReplayDetector } from './detectors/eip7702-cross-chain-replay';
+export { EIP7702DelegatedEoaApprovalRaceDetector } from './detectors/eip7702-delegated-eoa-approval-race';
+export { FarmBusinessLogicFlawLackOfAccessDetector } from './detectors/farm-business-logic-flaw-lack-of-access';
+export { ManipulationOfFundsDetector } from './detectors/manipulation-of-funds';
+export { ArbitraryCallDetector } from './detectors/arbitrary-call';
+export { ParameterAccessControlDetector } from './detectors/parameter-access-control';
+export { ArbitraryDelegatecallTargetDetector } from './detectors/arbitrary-delegatecall-target';
+export { DelegateTransferUnrestrictedCallerDetector } from './detectors/delegate-transfer-unrestricted-caller';
+export { CalldataSecretAccessControlDetector } from './detectors/calldata-secret-access-control';
+export { V2ErrorKValueAttackDetector } from './detectors/v2-error-k-value-attack';
+export { PhishingAttackBybitDetector } from './detectors/phishing-attack-bybit';
+export { Erc1155BatchMissingPerIdApprovalDetector } from './detectors/erc1155-batch-missing-per-id-approval';
+export { Erc6909OperatorScopeDetector } from './detectors/erc6909-operator-scope';
+export { Erc721UncheckedTransferDetector } from './detectors/erc721-unchecked-transfer';
+export { ReentrancyOnSellNftDetector } from './detectors/reentrancy-on-sell-nft';
+export { DenialOfServiceDetector } from './detectors/denial-of-service';
+export { VortexProtocolReentrancyGuardDetector } from './detectors/vortex-protocol-reentrancy-guard';
+export { InheritanceOverrideDetector } from './detectors/inheritance-override';
+export { SolhintUncheckedLowLevelCallDetector } from './detectors/solhint-unchecked-low-level-call';
+export { CrossChainInputValidationDetector } from './detectors/cross-chain-input-validation';
+export { LackOfValidationDataDetector } from './detectors/lack-of-validation-data';
+export { CacheStorageReadsDetector } from './detectors/cache-storage-reads';
+export { ConstructorAddressValidationDetector } from './detectors/constructor-address-validation';
+export { ZksyncEraRollupStateUpdateDetector } from './detectors/zksync-era-rollup-state-update';
+export { MintHardcodedAssetParityDetector } from './detectors/mint-hardcoded-asset-parity';
+export { ForceFedEthStateCorruptionDetector } from './detectors/force-fed-eth-state-corruption';
+export { Erc4337ValidationStorageAccessDetector } from './detectors/erc4337-validation-storage-access';
+export { V2KInvariantBypassDetector } from './detectors/v2-k-invariant-bypass';
+export { AvsSlashingWithoutQuorumCheckDetector } from './detectors/avs-slashing-without-quorum-check';

package/dist/index.js

@@ -0,0 +1,358 @@
+"use strict";
+/**
+ * SolAST public API surface — pure re-export shim.
+ *
+ * Library consumers `import { scan, ScanResult, ... } from 'solast'`
+ * and the CLI in `src/cli.ts` is a thin wrapper over this entry point.
+ * Implementation lives in:
+ *
+ *   - `src/api.ts`       — `ScanResult`, `ScanOptions`, `scan()`
+ *   - `src/scan.ts`      — `scanFiles`, `scanAst`, `discoverFiles`
+ *   - `src/registry.ts`  — `createDefaultDetectorRegistry()`
+ *   - `src/identity/hashing.ts` — `computeContractHash` / `computeFindingId` / `computeSnippetHash`
+ *   - `src/detectors/`   — every detector class
+ *
+ * The detector files importing from `'../index'` continue to see
+ * `ScanResult` and the helper exports here. External re-exports of
+ * detector classes for downstream consumers are also collected below
+ * so `import { DetectorClass } from 'solast'` keeps working.
+ *
+
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CrossVmReentrancyDetector = exports.FusionV1SettlementArbitraryYulCalldDetector = exports.CrossChainArbitraryCallDetector = exports.SolanaEvmBridgeTruncationDetector = exports.OracleManipulationLiquidityWithdrawalDetector = exports.OracleManipulationAmmSpotPriceDetector = exports.CrossChainMsgTruncationDetector = exports.CrossChainMessageOrderDependencyDetector = exports.CrossContractReentrancyTrustedCalleeDetector = exports.CcipReceiverMissingReplayGuardDetector = exports.ArbitrumCrossChainMessageReplayDetector = exports.CrossChainTruncationDetector = exports.CrossChainMessagingLoopholeDetector = exports.CrossProtocolContagionDetector = exports.BusinessLogicFlawIncorrectRecipientBalanceDetector = exports.BusinessLogicFlawDetector = exports.BytecodeDivergenceRiskDetector = exports.BalancerPauseGuardDetector = exports.BalancerFlashLoanManipulationDetector = exports.BalancerWeightedPoolFlashLoanDetector = exports.OzAccessControlRolesDetector = exports.AccessControlDetector = exports.CrossContractIntegerOverflowDetector = exports.IntegerOverflowDetector = exports.ReentrancyDetector = exports.TaintTracker = exports.ruleTiers = exports.DetectorRegistry = exports.isRequireFunctionCall = exports.collectGuardSignatures = exports.unwrapTuple = exports.expressionSignature = exports.isConstantExpr = exports.classifyTypeName = exports.isArithmeticBinaryOp = exports.ARITH_DIRECTION = exports.COMPOUND_TO_BARE_ARITH = exports.COMPOUND_ARITH_OPERATORS = exports.ARITH_OPERATORS = exports.pragmaAllowsPre080 = exports.resolveStorageLayoutAccess = exports.resolveReturnNames = exports.computeSnippetHash = exports.computeFindingId = exports.computeContractHash = exports.createDefaultDetectorRegistry = exports.discoverFiles = exports.scanAst = exports.scanFiles = exports.scan = void 0;
+exports.DonationShareInflationDetector = exports.LiquidationGainManipulationDetector = exports.VaultInflationRoundingDetector = exports.UnboundedSharePriceCollateralOracleDetector = exports.NetworkUnderflowDetector = exports.GovernanceFlashloanVoteDetector = exports.GovernanceFlashLoanDetector = exports.UnguardedGovernanceExecutionDetector = exports.StorageCollisionMaliciousProposalDetector = exports.MissingSequencerUptimeCheckDetector = exports.ZkSyncSimulationDriftDetector = exports.RollupUnvalidatedStateUpdateDetector = exports.L2WithdrawalValidationDetector = exports.L1ToL2MessageReentrancyDetector = exports.UnsignedValidityWindowDetector = exports.AnalyzingTheUniswapV3ExploitDetector = exports.AnyswapAnytokenPermitAllowanceDrainDetector = exports.AnyswapInsufficientTokenValidationDetector = exports.InfiniteNumberOfLoansDetector = exports.BypassedInsolvencyCheckDetector = exports.BadDebtPropagationDetector = exports.LayerZeroDvnQuorumMissingDetector = exports.InsufficientDvnThresholdDetector = exports.LayerZeroV2UnverifiedOriginDetector = exports.Erc1271StubImplementationDetector = exports.Erc2771ContextSpoofingDetector = exports.IncorrectInputValidationDetector = exports.IncorrectAccessControlDetector = exports.FreeMintBugDetector = exports.DosUnboundedLoopExternalCallRevertDetector = exports.CacheArrayLengthDetector = exports.PairManipulationTransferHookDetector = exports.FeeMechanismExploitationDetector = exports.FeeOnTransferBalanceMismatchDetector = exports.Erc7579ModuleInstallWithoutThresholdDetector = exports.Erc20UncheckedNonStandardReturnDetector = exports.Eip4626VaultReentrancyDetector = exports.Erc4626TotalassetsStubDetector = exports.UncheckedOftReturnDetector = exports.SkyOftGovernanceTruncationDetector = exports.SkyOftGovernancePayloadDetector = exports.Dn404MirrorAccessControlDetector = exports.UncheckedExternalCallUnconditionalStateMutationDetector = exports.UncheckedExternalCallDetector = exports.DeferredStateUpdateDetector = exports.UncheckedCallForwardingDetector = exports.BridgeBusinessLogicFlawIncorrectAccDetector = exports.ArbitraryStorageProofForgeryDetector = exports.BridgeAccountingBypassDetector = exports.ChainCouplingRiskDetector = void 0;
+exports.PhishingAttackBybitDetector = exports.V2ErrorKValueAttackDetector = exports.CalldataSecretAccessControlDetector = exports.DelegateTransferUnrestrictedCallerDetector = exports.ArbitraryDelegatecallTargetDetector = exports.ParameterAccessControlDetector = exports.ArbitraryCallDetector = exports.ManipulationOfFundsDetector = exports.FarmBusinessLogicFlawLackOfAccessDetector = exports.EIP7702DelegatedEoaApprovalRaceDetector = exports.EIP7702CrossChainReplayDetector = exports.WrongFunctionVisibilityDetector = exports.PublicInternalFunctionDetector = exports.TokenTransferLogicFlawDetector = exports.LackOfValidationDetector = exports.UnvalidatedInterfaceAddressDetector = exports.Eip712SignatureVerificationDetector = exports.Eip712DomainSeparatorDetector = exports.FheOzPatternMisuseDetector = exports.FheHandleLeakageDetector = exports.ExploitingAVulnerabilityInCurveFinaDetector = exports.ConstructorInterfaceNoAddressValidationDetector = exports.FheEncryptedInputValidationDetector = exports.TokenIncorrectSignatureVerificationDetector = exports.IncorrectSignatureVerificationDetector = exports.CheckPermitMissingChainIdDetector = exports.PermitFutureDatedDeadlineDetector = exports.Erc2612PermitFrontrunningDetector = exports.UnprotectedPairInitializerDetector = exports.MissingStorageGapDetector = exports.UninitializedImplementationDetector = exports.Erc777TokensToSendReentrancyDetector = exports.MevbotInsufficientValidationDetector = exports.MevSlotManipulationDetector = exports.PriceManipulationReentrancyDetector = exports.InsecureRandomnessDetector = exports.PriceOracleManipulationDetector = exports.VulnerablePriceDependencyDetector = exports.PriceDependencyVethDetector = exports.DogeFlashloanDetector = exports.UnprotectedDexSwapDetector = exports.MissingSwapDeadlineSlippageDetector = exports.FrontRunningSharedCollateralWriteDetector = exports.GeneralizedFrontrunningDetector = exports.LiquidityPoisoningDetector = exports.DelegatecallUntrustedImplementationDetector = exports.DelegatecallFallbackReentrancyBypassDetector = exports.FallbackDelegatecallReentrancyDetector = exports.SingleSpotOracleCollateralValuationDetector = exports.MisconfigurationDetector = void 0;
+exports.AvsSlashingWithoutQuorumCheckDetector = exports.V2KInvariantBypassDetector = exports.Erc4337ValidationStorageAccessDetector = exports.ForceFedEthStateCorruptionDetector = exports.MintHardcodedAssetParityDetector = exports.ZksyncEraRollupStateUpdateDetector = exports.ConstructorAddressValidationDetector = exports.CacheStorageReadsDetector = exports.LackOfValidationDataDetector = exports.CrossChainInputValidationDetector = exports.SolhintUncheckedLowLevelCallDetector = exports.InheritanceOverrideDetector = exports.VortexProtocolReentrancyGuardDetector = exports.DenialOfServiceDetector = exports.ReentrancyOnSellNftDetector = exports.Erc721UncheckedTransferDetector = exports.Erc6909OperatorScopeDetector = exports.Erc1155BatchMissingPerIdApprovalDetector = void 0;
+// Public API: types + scan().
+var api_1 = require("./api");
+Object.defineProperty(exports, "scan", { enumerable: true, get: function () { return api_1.scan; } });
+// Scan orchestration.
+var scan_1 = require("./scan");
+Object.defineProperty(exports, "scanFiles", { enumerable: true, get: function () { return scan_1.scanFiles; } });
+Object.defineProperty(exports, "scanAst", { enumerable: true, get: function () { return scan_1.scanAst; } });
+Object.defineProperty(exports, "discoverFiles", { enumerable: true, get: function () { return scan_1.discoverFiles; } });
+// Default registry.
+var registry_1 = require("./registry");
+Object.defineProperty(exports, "createDefaultDetectorRegistry", { enumerable: true, get: function () { return registry_1.createDefaultDetectorRegistry; } });
+// Hashing primitives.
+var hashing_1 = require("./identity/hashing");
+Object.defineProperty(exports, "computeContractHash", { enumerable: true, get: function () { return hashing_1.computeContractHash; } });
+Object.defineProperty(exports, "computeFindingId", { enumerable: true, get: function () { return hashing_1.computeFindingId; } });
+Object.defineProperty(exports, "computeSnippetHash", { enumerable: true, get: function () { return hashing_1.computeSnippetHash; } });
+var resolve_return_names_1 = require("./ast/resolve-return-names");
+Object.defineProperty(exports, "resolveReturnNames", { enumerable: true, get: function () { return resolve_return_names_1.resolveReturnNames; } });
+var storage_layout_1 = require("./ast/storage-layout");
+Object.defineProperty(exports, "resolveStorageLayoutAccess", { enumerable: true, get: function () { return storage_layout_1.resolveStorageLayoutAccess; } });
+// Integer-overflow detector helpers (used by external detectors via
+// `../index`).
+var integer_overflow_helpers_1 = require("./detectors/_common/integer-overflow-helpers");
+Object.defineProperty(exports, "pragmaAllowsPre080", { enumerable: true, get: function () { return integer_overflow_helpers_1.pragmaAllowsPre080; } });
+Object.defineProperty(exports, "ARITH_OPERATORS", { enumerable: true, get: function () { return integer_overflow_helpers_1.ARITH_OPERATORS; } });
+Object.defineProperty(exports, "COMPOUND_ARITH_OPERATORS", { enumerable: true, get: function () { return integer_overflow_helpers_1.COMPOUND_ARITH_OPERATORS; } });
+Object.defineProperty(exports, "COMPOUND_TO_BARE_ARITH", { enumerable: true, get: function () { return integer_overflow_helpers_1.COMPOUND_TO_BARE_ARITH; } });
+Object.defineProperty(exports, "ARITH_DIRECTION", { enumerable: true, get: function () { return integer_overflow_helpers_1.ARITH_DIRECTION; } });
+Object.defineProperty(exports, "isArithmeticBinaryOp", { enumerable: true, get: function () { return integer_overflow_helpers_1.isArithmeticBinaryOp; } });
+Object.defineProperty(exports, "classifyTypeName", { enumerable: true, get: function () { return integer_overflow_helpers_1.classifyTypeName; } });
+Object.defineProperty(exports, "isConstantExpr", { enumerable: true, get: function () { return integer_overflow_helpers_1.isConstantExpr; } });
+Object.defineProperty(exports, "expressionSignature", { enumerable: true, get: function () { return integer_overflow_helpers_1.expressionSignature; } });
+Object.defineProperty(exports, "unwrapTuple", { enumerable: true, get: function () { return integer_overflow_helpers_1.unwrapTuple; } });
+Object.defineProperty(exports, "collectGuardSignatures", { enumerable: true, get: function () { return integer_overflow_helpers_1.collectGuardSignatures; } });
+Object.defineProperty(exports, "isRequireFunctionCall", { enumerable: true, get: function () { return integer_overflow_helpers_1.isRequireFunctionCall; } });
+// Shared registry / detector contract.
+var registry_engine_1 = require("./detectors/registry-engine");
+Object.defineProperty(exports, "DetectorRegistry", { enumerable: true, get: function () { return registry_engine_1.DetectorRegistry; } });
+var tiers_1 = require("./rules/tiers");
+Object.defineProperty(exports, "ruleTiers", { enumerable: true, get: function () { return tiers_1.ruleTiers; } });
+var taint_tracker_1 = require("./semantic/taint-tracker");
+Object.defineProperty(exports, "TaintTracker", { enumerable: true, get: function () { return taint_tracker_1.TaintTracker; } });
+// Detector classes — public re-exports for downstream consumers.
+// These mirror the surface that existed before the split. Adding a
+// new detector here also requires registering it in `src/registry.ts`.
+var classic_reentrancy_1 = require("./detectors/classic-reentrancy");
+Object.defineProperty(exports, "ReentrancyDetector", { enumerable: true, get: function () { return classic_reentrancy_1.ReentrancyDetector; } });
+var integer_overflow_1 = require("./detectors/integer-overflow");
+Object.defineProperty(exports, "IntegerOverflowDetector", { enumerable: true, get: function () { return integer_overflow_1.IntegerOverflowDetector; } });
+var cross_contract_integer_overflow_1 = require("./detectors/cross-contract-integer-overflow");
+Object.defineProperty(exports, "CrossContractIntegerOverflowDetector", { enumerable: true, get: function () { return cross_contract_integer_overflow_1.CrossContractIntegerOverflowDetector; } });
+var access_control_1 = require("./detectors/access-control");
+Object.defineProperty(exports, "AccessControlDetector", { enumerable: true, get: function () { return access_control_1.AccessControlDetector; } });
+var oz_access_control_roles_1 = require("./detectors/oz-access-control-roles");
+Object.defineProperty(exports, "OzAccessControlRolesDetector", { enumerable: true, get: function () { return oz_access_control_roles_1.OzAccessControlRolesDetector; } });
+var balancer_weighted_pool_flash_loan_1 = require("./detectors/balancer-weighted-pool-flash-loan");
+Object.defineProperty(exports, "BalancerWeightedPoolFlashLoanDetector", { enumerable: true, get: function () { return balancer_weighted_pool_flash_loan_1.BalancerWeightedPoolFlashLoanDetector; } });
+var balancer_flash_loan_manipulation_1 = require("./detectors/balancer-flash-loan-manipulation");
+Object.defineProperty(exports, "BalancerFlashLoanManipulationDetector", { enumerable: true, get: function () { return balancer_flash_loan_manipulation_1.BalancerFlashLoanManipulationDetector; } });
+var balancer_pause_guard_1 = require("./detectors/balancer-pause-guard");
+Object.defineProperty(exports, "BalancerPauseGuardDetector", { enumerable: true, get: function () { return balancer_pause_guard_1.BalancerPauseGuardDetector; } });
+var bytecode_divergence_risk_1 = require("./detectors/bytecode-divergence-risk");
+Object.defineProperty(exports, "BytecodeDivergenceRiskDetector", { enumerable: true, get: function () { return bytecode_divergence_risk_1.BytecodeDivergenceRiskDetector; } });
+var business_logic_flaw_1 = require("./detectors/business-logic-flaw");
+Object.defineProperty(exports, "BusinessLogicFlawDetector", { enumerable: true, get: function () { return business_logic_flaw_1.BusinessLogicFlawDetector; } });
+var business_logic_flaw_incorrect_recipient_balance_1 = require("./detectors/business-logic-flaw-incorrect-recipient-balance");
+Object.defineProperty(exports, "BusinessLogicFlawIncorrectRecipientBalanceDetector", { enumerable: true, get: function () { return business_logic_flaw_incorrect_recipient_balance_1.BusinessLogicFlawIncorrectRecipientBalanceDetector; } });
+var cross_protocol_contagion_1 = require("./detectors/cross-protocol-contagion");
+Object.defineProperty(exports, "CrossProtocolContagionDetector", { enumerable: true, get: function () { return cross_protocol_contagion_1.CrossProtocolContagionDetector; } });
+var cross_chain_messaging_1 = require("./detectors/cross-chain-messaging");
+Object.defineProperty(exports, "CrossChainMessagingLoopholeDetector", { enumerable: true, get: function () { return cross_chain_messaging_1.CrossChainMessagingLoopholeDetector; } });
+var cross_chain_truncation_1 = require("./detectors/cross-chain-truncation");
+Object.defineProperty(exports, "CrossChainTruncationDetector", { enumerable: true, get: function () { return cross_chain_truncation_1.CrossChainTruncationDetector; } });
+var arbitrum_cross_chain_message_replay_1 = require("./detectors/arbitrum-cross-chain-message-replay");
+Object.defineProperty(exports, "ArbitrumCrossChainMessageReplayDetector", { enumerable: true, get: function () { return arbitrum_cross_chain_message_replay_1.ArbitrumCrossChainMessageReplayDetector; } });
+var ccip_receiver_missing_replay_guard_1 = require("./detectors/ccip-receiver-missing-replay-guard");
+Object.defineProperty(exports, "CcipReceiverMissingReplayGuardDetector", { enumerable: true, get: function () { return ccip_receiver_missing_replay_guard_1.CcipReceiverMissingReplayGuardDetector; } });
+var cross_contract_reentrancy_trusted_callee_1 = require("./detectors/cross-contract-reentrancy-trusted-callee");
+Object.defineProperty(exports, "CrossContractReentrancyTrustedCalleeDetector", { enumerable: true, get: function () { return cross_contract_reentrancy_trusted_callee_1.CrossContractReentrancyTrustedCalleeDetector; } });
+var cross_chain_message_order_dependency_1 = require("./detectors/cross-chain-message-order-dependency");
+Object.defineProperty(exports, "CrossChainMessageOrderDependencyDetector", { enumerable: true, get: function () { return cross_chain_message_order_dependency_1.CrossChainMessageOrderDependencyDetector; } });
+var cross_chain_msg_truncation_1 = require("./detectors/cross-chain-msg-truncation");
+Object.defineProperty(exports, "CrossChainMsgTruncationDetector", { enumerable: true, get: function () { return cross_chain_msg_truncation_1.CrossChainMsgTruncationDetector; } });
+var oracle_manipulation_amm_spot_price_1 = require("./detectors/oracle-manipulation-amm-spot-price");
+Object.defineProperty(exports, "OracleManipulationAmmSpotPriceDetector", { enumerable: true, get: function () { return oracle_manipulation_amm_spot_price_1.OracleManipulationAmmSpotPriceDetector; } });
+var oracle_manipulation_liquidity_withdrawal_1 = require("./detectors/oracle-manipulation-liquidity-withdrawal");
+Object.defineProperty(exports, "OracleManipulationLiquidityWithdrawalDetector", { enumerable: true, get: function () { return oracle_manipulation_liquidity_withdrawal_1.OracleManipulationLiquidityWithdrawalDetector; } });
+var solana_evm_bridge_truncation_1 = require("./detectors/solana-evm-bridge-truncation");
+Object.defineProperty(exports, "SolanaEvmBridgeTruncationDetector", { enumerable: true, get: function () { return solana_evm_bridge_truncation_1.SolanaEvmBridgeTruncationDetector; } });
+var cross_chain_arbitrary_call_1 = require("./detectors/cross-chain-arbitrary-call");
+Object.defineProperty(exports, "CrossChainArbitraryCallDetector", { enumerable: true, get: function () { return cross_chain_arbitrary_call_1.CrossChainArbitraryCallDetector; } });
+var fusion_v1_settlement_arbitrary_yul_calld_1 = require("./detectors/fusion-v1-settlement-arbitrary-yul-calld");
+Object.defineProperty(exports, "FusionV1SettlementArbitraryYulCalldDetector", { enumerable: true, get: function () { return fusion_v1_settlement_arbitrary_yul_calld_1.FusionV1SettlementArbitraryYulCalldDetector; } });
+var cross_vm_reentrancy_1 = require("./detectors/cross-vm-reentrancy");
+Object.defineProperty(exports, "CrossVmReentrancyDetector", { enumerable: true, get: function () { return cross_vm_reentrancy_1.CrossVmReentrancyDetector; } });
+var chain_coupling_risk_1 = require("./detectors/chain-coupling-risk");
+Object.defineProperty(exports, "ChainCouplingRiskDetector", { enumerable: true, get: function () { return chain_coupling_risk_1.ChainCouplingRiskDetector; } });
+var bridge_accounting_bypass_1 = require("./detectors/bridge-accounting-bypass");
+Object.defineProperty(exports, "BridgeAccountingBypassDetector", { enumerable: true, get: function () { return bridge_accounting_bypass_1.BridgeAccountingBypassDetector; } });
+var arbitrary_storage_proof_forgery_1 = require("./detectors/arbitrary-storage-proof-forgery");
+Object.defineProperty(exports, "ArbitraryStorageProofForgeryDetector", { enumerable: true, get: function () { return arbitrary_storage_proof_forgery_1.ArbitraryStorageProofForgeryDetector; } });
+var bridge_business_logic_flaw_incorrect_acc_1 = require("./detectors/bridge-business-logic-flaw-incorrect-acc");
+Object.defineProperty(exports, "BridgeBusinessLogicFlawIncorrectAccDetector", { enumerable: true, get: function () { return bridge_business_logic_flaw_incorrect_acc_1.BridgeBusinessLogicFlawIncorrectAccDetector; } });
+var unchecked_call_forwarding_1 = require("./detectors/unchecked-call-forwarding");
+Object.defineProperty(exports, "UncheckedCallForwardingDetector", { enumerable: true, get: function () { return unchecked_call_forwarding_1.UncheckedCallForwardingDetector; } });
+var deferred_state_update_1 = require("./detectors/deferred-state-update");
+Object.defineProperty(exports, "DeferredStateUpdateDetector", { enumerable: true, get: function () { return deferred_state_update_1.DeferredStateUpdateDetector; } });
+var unchecked_external_call_1 = require("./detectors/unchecked-external-call");
+Object.defineProperty(exports, "UncheckedExternalCallDetector", { enumerable: true, get: function () { return unchecked_external_call_1.UncheckedExternalCallDetector; } });
+var unchecked_external_call_unconditional_state_mutation_1 = require("./detectors/unchecked-external-call-unconditional-state-mutation");
+Object.defineProperty(exports, "UncheckedExternalCallUnconditionalStateMutationDetector", { enumerable: true, get: function () { return unchecked_external_call_unconditional_state_mutation_1.UncheckedExternalCallUnconditionalStateMutationDetector; } });
+var dn404_mirror_access_control_1 = require("./detectors/dn404-mirror-access-control");
+Object.defineProperty(exports, "Dn404MirrorAccessControlDetector", { enumerable: true, get: function () { return dn404_mirror_access_control_1.Dn404MirrorAccessControlDetector; } });
+var sky_oft_governance_payload_1 = require("./detectors/sky-oft-governance-payload");
+Object.defineProperty(exports, "SkyOftGovernancePayloadDetector", { enumerable: true, get: function () { return sky_oft_governance_payload_1.SkyOftGovernancePayloadDetector; } });
+var sky_oft_governance_truncation_1 = require("./detectors/sky-oft-governance-truncation");
+Object.defineProperty(exports, "SkyOftGovernanceTruncationDetector", { enumerable: true, get: function () { return sky_oft_governance_truncation_1.SkyOftGovernanceTruncationDetector; } });
+var unchecked_oft_return_1 = require("./detectors/unchecked-oft-return");
+Object.defineProperty(exports, "UncheckedOftReturnDetector", { enumerable: true, get: function () { return unchecked_oft_return_1.UncheckedOftReturnDetector; } });
+var erc4626_totalassets_stub_1 = require("./detectors/erc4626-totalassets-stub");
+Object.defineProperty(exports, "Erc4626TotalassetsStubDetector", { enumerable: true, get: function () { return erc4626_totalassets_stub_1.Erc4626TotalassetsStubDetector; } });
+var eip4626_vault_reentrancy_1 = require("./detectors/eip4626-vault-reentrancy");
+Object.defineProperty(exports, "Eip4626VaultReentrancyDetector", { enumerable: true, get: function () { return eip4626_vault_reentrancy_1.Eip4626VaultReentrancyDetector; } });
+var erc20_unchecked_non_standard_return_1 = require("./detectors/erc20-unchecked-non-standard-return");
+Object.defineProperty(exports, "Erc20UncheckedNonStandardReturnDetector", { enumerable: true, get: function () { return erc20_unchecked_non_standard_return_1.Erc20UncheckedNonStandardReturnDetector; } });
+var erc7579_module_install_without_threshold_1 = require("./detectors/erc7579-module-install-without-threshold");
+Object.defineProperty(exports, "Erc7579ModuleInstallWithoutThresholdDetector", { enumerable: true, get: function () { return erc7579_module_install_without_threshold_1.Erc7579ModuleInstallWithoutThresholdDetector; } });
+var fee_on_transfer_balance_mismatch_1 = require("./detectors/fee-on-transfer-balance-mismatch");
+Object.defineProperty(exports, "FeeOnTransferBalanceMismatchDetector", { enumerable: true, get: function () { return fee_on_transfer_balance_mismatch_1.FeeOnTransferBalanceMismatchDetector; } });
+var fee_mechanism_exploitation_1 = require("./detectors/fee-mechanism-exploitation");
+Object.defineProperty(exports, "FeeMechanismExploitationDetector", { enumerable: true, get: function () { return fee_mechanism_exploitation_1.FeeMechanismExploitationDetector; } });
+var pair_manipulation_transfer_hook_1 = require("./detectors/pair-manipulation-transfer-hook");
+Object.defineProperty(exports, "PairManipulationTransferHookDetector", { enumerable: true, get: function () { return pair_manipulation_transfer_hook_1.PairManipulationTransferHookDetector; } });
+var cache_array_length_1 = require("./detectors/cache-array-length");
+Object.defineProperty(exports, "CacheArrayLengthDetector", { enumerable: true, get: function () { return cache_array_length_1.CacheArrayLengthDetector; } });
+var dos_unbounded_loop_external_call_revert_1 = require("./detectors/dos-unbounded-loop-external-call-revert");
+Object.defineProperty(exports, "DosUnboundedLoopExternalCallRevertDetector", { enumerable: true, get: function () { return dos_unbounded_loop_external_call_revert_1.DosUnboundedLoopExternalCallRevertDetector; } });
+var free_mint_bug_1 = require("./detectors/free-mint-bug");
+Object.defineProperty(exports, "FreeMintBugDetector", { enumerable: true, get: function () { return free_mint_bug_1.FreeMintBugDetector; } });
+var incorrect_access_control_1 = require("./detectors/incorrect-access-control");
+Object.defineProperty(exports, "IncorrectAccessControlDetector", { enumerable: true, get: function () { return incorrect_access_control_1.IncorrectAccessControlDetector; } });
+var incorrect_input_validation_1 = require("./detectors/incorrect-input-validation");
+Object.defineProperty(exports, "IncorrectInputValidationDetector", { enumerable: true, get: function () { return incorrect_input_validation_1.IncorrectInputValidationDetector; } });
+var erc2771_context_spoofing_1 = require("./detectors/erc2771-context-spoofing");
+Object.defineProperty(exports, "Erc2771ContextSpoofingDetector", { enumerable: true, get: function () { return erc2771_context_spoofing_1.Erc2771ContextSpoofingDetector; } });
+var erc1271_stub_implementation_1 = require("./detectors/erc1271-stub-implementation");
+Object.defineProperty(exports, "Erc1271StubImplementationDetector", { enumerable: true, get: function () { return erc1271_stub_implementation_1.Erc1271StubImplementationDetector; } });
+var layerzero_v2_unverified_origin_1 = require("./detectors/layerzero-v2-unverified-origin");
+Object.defineProperty(exports, "LayerZeroV2UnverifiedOriginDetector", { enumerable: true, get: function () { return layerzero_v2_unverified_origin_1.LayerZeroV2UnverifiedOriginDetector; } });
+var insufficient_dvn_threshold_1 = require("./detectors/insufficient-dvn-threshold");
+Object.defineProperty(exports, "InsufficientDvnThresholdDetector", { enumerable: true, get: function () { return insufficient_dvn_threshold_1.InsufficientDvnThresholdDetector; } });
+var layerzero_dvn_quorum_missing_1 = require("./detectors/layerzero-dvn-quorum-missing");
+Object.defineProperty(exports, "LayerZeroDvnQuorumMissingDetector", { enumerable: true, get: function () { return layerzero_dvn_quorum_missing_1.LayerZeroDvnQuorumMissingDetector; } });
+var bad_debt_propagation_1 = require("./detectors/bad-debt-propagation");
+Object.defineProperty(exports, "BadDebtPropagationDetector", { enumerable: true, get: function () { return bad_debt_propagation_1.BadDebtPropagationDetector; } });
+var bypassed_insolvency_check_1 = require("./detectors/bypassed-insolvency-check");
+Object.defineProperty(exports, "BypassedInsolvencyCheckDetector", { enumerable: true, get: function () { return bypassed_insolvency_check_1.BypassedInsolvencyCheckDetector; } });
+var infinite_number_of_loans_1 = require("./detectors/infinite-number-of-loans");
+Object.defineProperty(exports, "InfiniteNumberOfLoansDetector", { enumerable: true, get: function () { return infinite_number_of_loans_1.InfiniteNumberOfLoansDetector; } });
+var anyswap_insufficient_token_validation_1 = require("./detectors/anyswap-insufficient-token-validation");
+Object.defineProperty(exports, "AnyswapInsufficientTokenValidationDetector", { enumerable: true, get: function () { return anyswap_insufficient_token_validation_1.AnyswapInsufficientTokenValidationDetector; } });
+var anyswap_anytoken_permit_allowance_drain_1 = require("./detectors/anyswap-anytoken-permit-allowance-drain");
+Object.defineProperty(exports, "AnyswapAnytokenPermitAllowanceDrainDetector", { enumerable: true, get: function () { return anyswap_anytoken_permit_allowance_drain_1.AnyswapAnytokenPermitAllowanceDrainDetector; } });
+var analyzing_the_uniswap_v3_exploit_1 = require("./detectors/analyzing-the-uniswap-v3-exploit");
+Object.defineProperty(exports, "AnalyzingTheUniswapV3ExploitDetector", { enumerable: true, get: function () { return analyzing_the_uniswap_v3_exploit_1.AnalyzingTheUniswapV3ExploitDetector; } });
+var unsigned_validity_window_1 = require("./detectors/unsigned-validity-window");
+Object.defineProperty(exports, "UnsignedValidityWindowDetector", { enumerable: true, get: function () { return unsigned_validity_window_1.UnsignedValidityWindowDetector; } });
+var l1_to_l2_message_reentrancy_1 = require("./detectors/l1-to-l2-message-reentrancy");
+Object.defineProperty(exports, "L1ToL2MessageReentrancyDetector", { enumerable: true, get: function () { return l1_to_l2_message_reentrancy_1.L1ToL2MessageReentrancyDetector; } });
+var l2_withdrawal_validation_1 = require("./detectors/l2-withdrawal-validation");
+Object.defineProperty(exports, "L2WithdrawalValidationDetector", { enumerable: true, get: function () { return l2_withdrawal_validation_1.L2WithdrawalValidationDetector; } });
+var rollup_unvalidated_state_update_1 = require("./detectors/rollup-unvalidated-state-update");
+Object.defineProperty(exports, "RollupUnvalidatedStateUpdateDetector", { enumerable: true, get: function () { return rollup_unvalidated_state_update_1.RollupUnvalidatedStateUpdateDetector; } });
+var zksync_simulation_drift_1 = require("./detectors/zksync-simulation-drift");
+Object.defineProperty(exports, "ZkSyncSimulationDriftDetector", { enumerable: true, get: function () { return zksync_simulation_drift_1.ZkSyncSimulationDriftDetector; } });
+var missing_sequencer_uptime_check_1 = require("./detectors/missing-sequencer-uptime-check");
+Object.defineProperty(exports, "MissingSequencerUptimeCheckDetector", { enumerable: true, get: function () { return missing_sequencer_uptime_check_1.MissingSequencerUptimeCheckDetector; } });
+var storage_collision_malicious_proposal_1 = require("./detectors/storage-collision-malicious-proposal");
+Object.defineProperty(exports, "StorageCollisionMaliciousProposalDetector", { enumerable: true, get: function () { return storage_collision_malicious_proposal_1.StorageCollisionMaliciousProposalDetector; } });
+var unguarded_governance_execution_1 = require("./detectors/unguarded-governance-execution");
+Object.defineProperty(exports, "UnguardedGovernanceExecutionDetector", { enumerable: true, get: function () { return unguarded_governance_execution_1.UnguardedGovernanceExecutionDetector; } });
+var governance_flash_loan_1 = require("./detectors/governance-flash-loan");
+Object.defineProperty(exports, "GovernanceFlashLoanDetector", { enumerable: true, get: function () { return governance_flash_loan_1.GovernanceFlashLoanDetector; } });
+var governance_flashloan_vote_1 = require("./detectors/governance-flashloan-vote");
+Object.defineProperty(exports, "GovernanceFlashloanVoteDetector", { enumerable: true, get: function () { return governance_flashloan_vote_1.GovernanceFlashloanVoteDetector; } });
+var network_underflow_1 = require("./detectors/network-underflow");
+Object.defineProperty(exports, "NetworkUnderflowDetector", { enumerable: true, get: function () { return network_underflow_1.NetworkUnderflowDetector; } });
+var unbounded_share_price_collateral_oracle_1 = require("./detectors/unbounded-share-price-collateral-oracle");
+Object.defineProperty(exports, "UnboundedSharePriceCollateralOracleDetector", { enumerable: true, get: function () { return unbounded_share_price_collateral_oracle_1.UnboundedSharePriceCollateralOracleDetector; } });
+var vault_inflation_rounding_1 = require("./detectors/vault-inflation-rounding");
+Object.defineProperty(exports, "VaultInflationRoundingDetector", { enumerable: true, get: function () { return vault_inflation_rounding_1.VaultInflationRoundingDetector; } });
+var liquidation_gain_manipulation_1 = require("./detectors/liquidation-gain-manipulation");
+Object.defineProperty(exports, "LiquidationGainManipulationDetector", { enumerable: true, get: function () { return liquidation_gain_manipulation_1.LiquidationGainManipulationDetector; } });
+var donation_share_inflation_1 = require("./detectors/donation-share-inflation");
+Object.defineProperty(exports, "DonationShareInflationDetector", { enumerable: true, get: function () { return donation_share_inflation_1.DonationShareInflationDetector; } });
+var misconfiguration_1 = require("./detectors/misconfiguration");
+Object.defineProperty(exports, "MisconfigurationDetector", { enumerable: true, get: function () { return misconfiguration_1.MisconfigurationDetector; } });
+var single_spot_oracle_collateral_valuation_1 = require("./detectors/single-spot-oracle-collateral-valuation");
+Object.defineProperty(exports, "SingleSpotOracleCollateralValuationDetector", { enumerable: true, get: function () { return single_spot_oracle_collateral_valuation_1.SingleSpotOracleCollateralValuationDetector; } });
+var fallback_delegatecall_reentrancy_1 = require("./detectors/fallback-delegatecall-reentrancy");
+Object.defineProperty(exports, "FallbackDelegatecallReentrancyDetector", { enumerable: true, get: function () { return fallback_delegatecall_reentrancy_1.FallbackDelegatecallReentrancyDetector; } });
+var delegatecall_fallback_reentrancy_bypass_1 = require("./detectors/delegatecall-fallback-reentrancy-bypass");
+Object.defineProperty(exports, "DelegatecallFallbackReentrancyBypassDetector", { enumerable: true, get: function () { return delegatecall_fallback_reentrancy_bypass_1.DelegatecallFallbackReentrancyBypassDetector; } });
+var delegatecall_untrusted_implementation_1 = require("./detectors/delegatecall-untrusted-implementation");
+Object.defineProperty(exports, "DelegatecallUntrustedImplementationDetector", { enumerable: true, get: function () { return delegatecall_untrusted_implementation_1.DelegatecallUntrustedImplementationDetector; } });
+var liquidity_poisoning_1 = require("./detectors/liquidity-poisoning");
+Object.defineProperty(exports, "LiquidityPoisoningDetector", { enumerable: true, get: function () { return liquidity_poisoning_1.LiquidityPoisoningDetector; } });
+var generalized_frontrunning_1 = require("./detectors/generalized-frontrunning");
+Object.defineProperty(exports, "GeneralizedFrontrunningDetector", { enumerable: true, get: function () { return generalized_frontrunning_1.GeneralizedFrontrunningDetector; } });
+var front_running_shared_collateral_write_1 = require("./detectors/front-running-shared-collateral-write");
+Object.defineProperty(exports, "FrontRunningSharedCollateralWriteDetector", { enumerable: true, get: function () { return front_running_shared_collateral_write_1.FrontRunningSharedCollateralWriteDetector; } });
+var missing_swap_deadline_slippage_1 = require("./detectors/missing-swap-deadline-slippage");
+Object.defineProperty(exports, "MissingSwapDeadlineSlippageDetector", { enumerable: true, get: function () { return missing_swap_deadline_slippage_1.MissingSwapDeadlineSlippageDetector; } });
+var unprotected_dex_swap_1 = require("./detectors/unprotected-dex-swap");
+Object.defineProperty(exports, "UnprotectedDexSwapDetector", { enumerable: true, get: function () { return unprotected_dex_swap_1.UnprotectedDexSwapDetector; } });
+var doge_flashloan_1 = require("./detectors/doge-flashloan");
+Object.defineProperty(exports, "DogeFlashloanDetector", { enumerable: true, get: function () { return doge_flashloan_1.DogeFlashloanDetector; } });
+var price_dependency_veth_1 = require("./detectors/price-dependency-veth");
+Object.defineProperty(exports, "PriceDependencyVethDetector", { enumerable: true, get: function () { return price_dependency_veth_1.PriceDependencyVethDetector; } });
+var vulnerable_price_dependency_1 = require("./detectors/vulnerable-price-dependency");
+Object.defineProperty(exports, "VulnerablePriceDependencyDetector", { enumerable: true, get: function () { return vulnerable_price_dependency_1.VulnerablePriceDependencyDetector; } });
+var price_oracle_manipulation_1 = require("./detectors/price-oracle-manipulation");
+Object.defineProperty(exports, "PriceOracleManipulationDetector", { enumerable: true, get: function () { return price_oracle_manipulation_1.PriceOracleManipulationDetector; } });
+var insecure_randomness_1 = require("./detectors/insecure-randomness");
+Object.defineProperty(exports, "InsecureRandomnessDetector", { enumerable: true, get: function () { return insecure_randomness_1.InsecureRandomnessDetector; } });
+var price_manipulation_reentrancy_1 = require("./detectors/price-manipulation-reentrancy");
+Object.defineProperty(exports, "PriceManipulationReentrancyDetector", { enumerable: true, get: function () { return price_manipulation_reentrancy_1.PriceManipulationReentrancyDetector; } });
+var mev_slot_manipulation_1 = require("./detectors/mev-slot-manipulation");
+Object.defineProperty(exports, "MevSlotManipulationDetector", { enumerable: true, get: function () { return mev_slot_manipulation_1.MevSlotManipulationDetector; } });
+var mevbot_insufficient_validation_1 = require("./detectors/mevbot-insufficient-validation");
+Object.defineProperty(exports, "MevbotInsufficientValidationDetector", { enumerable: true, get: function () { return mevbot_insufficient_validation_1.MevbotInsufficientValidationDetector; } });
+var erc777_tokens_to_send_reentrancy_1 = require("./detectors/erc777-tokens-to-send-reentrancy");
+Object.defineProperty(exports, "Erc777TokensToSendReentrancyDetector", { enumerable: true, get: function () { return erc777_tokens_to_send_reentrancy_1.Erc777TokensToSendReentrancyDetector; } });
+var uninitialized_implementation_1 = require("./detectors/uninitialized-implementation");
+Object.defineProperty(exports, "UninitializedImplementationDetector", { enumerable: true, get: function () { return uninitialized_implementation_1.UninitializedImplementationDetector; } });
+var missing_storage_gap_1 = require("./detectors/missing-storage-gap");
+Object.defineProperty(exports, "MissingStorageGapDetector", { enumerable: true, get: function () { return missing_storage_gap_1.MissingStorageGapDetector; } });
+var unprotected_pair_initializer_1 = require("./detectors/unprotected-pair-initializer");
+Object.defineProperty(exports, "UnprotectedPairInitializerDetector", { enumerable: true, get: function () { return unprotected_pair_initializer_1.UnprotectedPairInitializerDetector; } });
+var erc2612_permit_frontrunning_1 = require("./detectors/erc2612-permit-frontrunning");
+Object.defineProperty(exports, "Erc2612PermitFrontrunningDetector", { enumerable: true, get: function () { return erc2612_permit_frontrunning_1.Erc2612PermitFrontrunningDetector; } });
+var permit_future_dated_deadline_1 = require("./detectors/permit-future-dated-deadline");
+Object.defineProperty(exports, "PermitFutureDatedDeadlineDetector", { enumerable: true, get: function () { return permit_future_dated_deadline_1.PermitFutureDatedDeadlineDetector; } });
+var check_permit_missing_chainid_1 = require("./detectors/check-permit-missing-chainid");
+Object.defineProperty(exports, "CheckPermitMissingChainIdDetector", { enumerable: true, get: function () { return check_permit_missing_chainid_1.CheckPermitMissingChainIdDetector; } });
+var incorrect_signature_verification_1 = require("./detectors/incorrect-signature-verification");
+Object.defineProperty(exports, "IncorrectSignatureVerificationDetector", { enumerable: true, get: function () { return incorrect_signature_verification_1.IncorrectSignatureVerificationDetector; } });
+var token_incorrect_signature_verification_1 = require("./detectors/token-incorrect-signature-verification");
+Object.defineProperty(exports, "TokenIncorrectSignatureVerificationDetector", { enumerable: true, get: function () { return token_incorrect_signature_verification_1.TokenIncorrectSignatureVerificationDetector; } });
+var fhe_encrypted_input_validation_1 = require("./detectors/fhe-encrypted-input-validation");
+Object.defineProperty(exports, "FheEncryptedInputValidationDetector", { enumerable: true, get: function () { return fhe_encrypted_input_validation_1.FheEncryptedInputValidationDetector; } });
+var constructor_interface_no_address_validation_1 = require("./detectors/constructor-interface-no-address-validation");
+Object.defineProperty(exports, "ConstructorInterfaceNoAddressValidationDetector", { enumerable: true, get: function () { return constructor_interface_no_address_validation_1.ConstructorInterfaceNoAddressValidationDetector; } });
+var exploiting_a_vulnerability_in_curve_fina_1 = require("./detectors/exploiting-a-vulnerability-in-curve-fina");
+Object.defineProperty(exports, "ExploitingAVulnerabilityInCurveFinaDetector", { enumerable: true, get: function () { return exploiting_a_vulnerability_in_curve_fina_1.ExploitingAVulnerabilityInCurveFinaDetector; } });
+var fhe_handle_leakage_1 = require("./detectors/fhe-handle-leakage");
+Object.defineProperty(exports, "FheHandleLeakageDetector", { enumerable: true, get: function () { return fhe_handle_leakage_1.FheHandleLeakageDetector; } });
+var fhe_oz_pattern_misuse_1 = require("./detectors/fhe-oz-pattern-misuse");
+Object.defineProperty(exports, "FheOzPatternMisuseDetector", { enumerable: true, get: function () { return fhe_oz_pattern_misuse_1.FheOzPatternMisuseDetector; } });
+var eip712_domain_separator_1 = require("./detectors/eip712-domain-separator");
+Object.defineProperty(exports, "Eip712DomainSeparatorDetector", { enumerable: true, get: function () { return eip712_domain_separator_1.Eip712DomainSeparatorDetector; } });
+var eip712_signature_verification_1 = require("./detectors/eip712-signature-verification");
+Object.defineProperty(exports, "Eip712SignatureVerificationDetector", { enumerable: true, get: function () { return eip712_signature_verification_1.Eip712SignatureVerificationDetector; } });
+var unvalidated_interface_address_1 = require("./detectors/unvalidated-interface-address");
+Object.defineProperty(exports, "UnvalidatedInterfaceAddressDetector", { enumerable: true, get: function () { return unvalidated_interface_address_1.UnvalidatedInterfaceAddressDetector; } });
+var lack_of_validation_1 = require("./detectors/lack-of-validation");
+Object.defineProperty(exports, "LackOfValidationDetector", { enumerable: true, get: function () { return lack_of_validation_1.LackOfValidationDetector; } });
+var token_transfer_logic_flaw_1 = require("./detectors/token-transfer-logic-flaw");
+Object.defineProperty(exports, "TokenTransferLogicFlawDetector", { enumerable: true, get: function () { return token_transfer_logic_flaw_1.TokenTransferLogicFlawDetector; } });
+var public_internal_function_1 = require("./detectors/public-internal-function");
+Object.defineProperty(exports, "PublicInternalFunctionDetector", { enumerable: true, get: function () { return public_internal_function_1.PublicInternalFunctionDetector; } });
+var wrong_function_visibility_1 = require("./detectors/wrong-function-visibility");
+Object.defineProperty(exports, "WrongFunctionVisibilityDetector", { enumerable: true, get: function () { return wrong_function_visibility_1.WrongFunctionVisibilityDetector; } });
+var eip7702_cross_chain_replay_1 = require("./detectors/eip7702-cross-chain-replay");
+Object.defineProperty(exports, "EIP7702CrossChainReplayDetector", { enumerable: true, get: function () { return eip7702_cross_chain_replay_1.EIP7702CrossChainReplayDetector; } });
+var eip7702_delegated_eoa_approval_race_1 = require("./detectors/eip7702-delegated-eoa-approval-race");
+Object.defineProperty(exports, "EIP7702DelegatedEoaApprovalRaceDetector", { enumerable: true, get: function () { return eip7702_delegated_eoa_approval_race_1.EIP7702DelegatedEoaApprovalRaceDetector; } });
+var farm_business_logic_flaw_lack_of_access_1 = require("./detectors/farm-business-logic-flaw-lack-of-access");
+Object.defineProperty(exports, "FarmBusinessLogicFlawLackOfAccessDetector", { enumerable: true, get: function () { return farm_business_logic_flaw_lack_of_access_1.FarmBusinessLogicFlawLackOfAccessDetector; } });
+var manipulation_of_funds_1 = require("./detectors/manipulation-of-funds");
+Object.defineProperty(exports, "ManipulationOfFundsDetector", { enumerable: true, get: function () { return manipulation_of_funds_1.ManipulationOfFundsDetector; } });
+var arbitrary_call_1 = require("./detectors/arbitrary-call");
+Object.defineProperty(exports, "ArbitraryCallDetector", { enumerable: true, get: function () { return arbitrary_call_1.ArbitraryCallDetector; } });
+var parameter_access_control_1 = require("./detectors/parameter-access-control");
+Object.defineProperty(exports, "ParameterAccessControlDetector", { enumerable: true, get: function () { return parameter_access_control_1.ParameterAccessControlDetector; } });
+var arbitrary_delegatecall_target_1 = require("./detectors/arbitrary-delegatecall-target");
+Object.defineProperty(exports, "ArbitraryDelegatecallTargetDetector", { enumerable: true, get: function () { return arbitrary_delegatecall_target_1.ArbitraryDelegatecallTargetDetector; } });
+var delegate_transfer_unrestricted_caller_1 = require("./detectors/delegate-transfer-unrestricted-caller");
+Object.defineProperty(exports, "DelegateTransferUnrestrictedCallerDetector", { enumerable: true, get: function () { return delegate_transfer_unrestricted_caller_1.DelegateTransferUnrestrictedCallerDetector; } });
+var calldata_secret_access_control_1 = require("./detectors/calldata-secret-access-control");
+Object.defineProperty(exports, "CalldataSecretAccessControlDetector", { enumerable: true, get: function () { return calldata_secret_access_control_1.CalldataSecretAccessControlDetector; } });
+var v2_error_k_value_attack_1 = require("./detectors/v2-error-k-value-attack");
+Object.defineProperty(exports, "V2ErrorKValueAttackDetector", { enumerable: true, get: function () { return v2_error_k_value_attack_1.V2ErrorKValueAttackDetector; } });
+var phishing_attack_bybit_1 = require("./detectors/phishing-attack-bybit");
+Object.defineProperty(exports, "PhishingAttackBybitDetector", { enumerable: true, get: function () { return phishing_attack_bybit_1.PhishingAttackBybitDetector; } });
+var erc1155_batch_missing_per_id_approval_1 = require("./detectors/erc1155-batch-missing-per-id-approval");
+Object.defineProperty(exports, "Erc1155BatchMissingPerIdApprovalDetector", { enumerable: true, get: function () { return erc1155_batch_missing_per_id_approval_1.Erc1155BatchMissingPerIdApprovalDetector; } });
+var erc6909_operator_scope_1 = require("./detectors/erc6909-operator-scope");
+Object.defineProperty(exports, "Erc6909OperatorScopeDetector", { enumerable: true, get: function () { return erc6909_operator_scope_1.Erc6909OperatorScopeDetector; } });
+var erc721_unchecked_transfer_1 = require("./detectors/erc721-unchecked-transfer");
+Object.defineProperty(exports, "Erc721UncheckedTransferDetector", { enumerable: true, get: function () { return erc721_unchecked_transfer_1.Erc721UncheckedTransferDetector; } });
+var reentrancy_on_sell_nft_1 = require("./detectors/reentrancy-on-sell-nft");
+Object.defineProperty(exports, "ReentrancyOnSellNftDetector", { enumerable: true, get: function () { return reentrancy_on_sell_nft_1.ReentrancyOnSellNftDetector; } });
+var denial_of_service_1 = require("./detectors/denial-of-service");
+Object.defineProperty(exports, "DenialOfServiceDetector", { enumerable: true, get: function () { return denial_of_service_1.DenialOfServiceDetector; } });
+var vortex_protocol_reentrancy_guard_1 = require("./detectors/vortex-protocol-reentrancy-guard");
+Object.defineProperty(exports, "VortexProtocolReentrancyGuardDetector", { enumerable: true, get: function () { return vortex_protocol_reentrancy_guard_1.VortexProtocolReentrancyGuardDetector; } });
+var inheritance_override_1 = require("./detectors/inheritance-override");
+Object.defineProperty(exports, "InheritanceOverrideDetector", { enumerable: true, get: function () { return inheritance_override_1.InheritanceOverrideDetector; } });
+var solhint_unchecked_low_level_call_1 = require("./detectors/solhint-unchecked-low-level-call");
+Object.defineProperty(exports, "SolhintUncheckedLowLevelCallDetector", { enumerable: true, get: function () { return solhint_unchecked_low_level_call_1.SolhintUncheckedLowLevelCallDetector; } });
+var cross_chain_input_validation_1 = require("./detectors/cross-chain-input-validation");
+Object.defineProperty(exports, "CrossChainInputValidationDetector", { enumerable: true, get: function () { return cross_chain_input_validation_1.CrossChainInputValidationDetector; } });
+var lack_of_validation_data_1 = require("./detectors/lack-of-validation-data");
+Object.defineProperty(exports, "LackOfValidationDataDetector", { enumerable: true, get: function () { return lack_of_validation_data_1.LackOfValidationDataDetector; } });
+var cache_storage_reads_1 = require("./detectors/cache-storage-reads");
+Object.defineProperty(exports, "CacheStorageReadsDetector", { enumerable: true, get: function () { return cache_storage_reads_1.CacheStorageReadsDetector; } });
+var constructor_address_validation_1 = require("./detectors/constructor-address-validation");
+Object.defineProperty(exports, "ConstructorAddressValidationDetector", { enumerable: true, get: function () { return constructor_address_validation_1.ConstructorAddressValidationDetector; } });
+var zksync_era_rollup_state_update_1 = require("./detectors/zksync-era-rollup-state-update");
+Object.defineProperty(exports, "ZksyncEraRollupStateUpdateDetector", { enumerable: true, get: function () { return zksync_era_rollup_state_update_1.ZksyncEraRollupStateUpdateDetector; } });
+var mint_hardcoded_asset_parity_1 = require("./detectors/mint-hardcoded-asset-parity");
+Object.defineProperty(exports, "MintHardcodedAssetParityDetector", { enumerable: true, get: function () { return mint_hardcoded_asset_parity_1.MintHardcodedAssetParityDetector; } });
+var force_fed_eth_state_corruption_1 = require("./detectors/force-fed-eth-state-corruption");
+Object.defineProperty(exports, "ForceFedEthStateCorruptionDetector", { enumerable: true, get: function () { return force_fed_eth_state_corruption_1.ForceFedEthStateCorruptionDetector; } });
+var erc4337_validation_storage_access_1 = require("./detectors/erc4337-validation-storage-access");
+Object.defineProperty(exports, "Erc4337ValidationStorageAccessDetector", { enumerable: true, get: function () { return erc4337_validation_storage_access_1.Erc4337ValidationStorageAccessDetector; } });
+var v2_k_invariant_bypass_1 = require("./detectors/v2-k-invariant-bypass");
+Object.defineProperty(exports, "V2KInvariantBypassDetector", { enumerable: true, get: function () { return v2_k_invariant_bypass_1.V2KInvariantBypassDetector; } });
+var avs_slashing_without_quorum_check_1 = require("./detectors/avs-slashing-without-quorum-check");
+Object.defineProperty(exports, "AvsSlashingWithoutQuorumCheckDetector", { enumerable: true, get: function () { return avs_slashing_without_quorum_check_1.AvsSlashingWithoutQuorumCheckDetector; } });
+//# sourceMappingURL=index.js.map