@snovon/solast 0.2.0

package/dist/detectors/logic-flaw.d.ts

@@ -0,0 +1,186 @@
+import type { ScanResult } from '../index';
+export declare class LogicFlawDetector {
+    readonly id = "logic-flaw";
+    readonly patternKey = "logic-flaw";
+    readonly supportedAstKinds: "parser"[];
+    private currentFile;
+    private currentContract;
+    private contractKindIsAnalysable;
+    private stateVars;
+    private contractHasFreshnessTrackingVar;
+    private contractFunctions;
+    private findings;
+    private emittedKey;
+    setFile(file: string): void;
+    getFindings(): ScanResult[];
+    ContractDefinition(node: any): void;
+    ContractDefinition_post(): void;
+    FunctionDefinition(node: any): void;
+    private collectLocalStructVars;
+    private findCheckedBalance;
+    private findDebitedBalance;
+    private refFromExpr;
+    private findTransferredBaseName;
+    private findMisoUnspecifiedMsgValueReuse;
+    private isPayableFunction;
+    private isExternallyCallableFunction;
+    private hasLoopedSelfDelegatecall;
+    private isLoopStatement;
+    private isSelfDelegatecall;
+    private contractHasMisoValueAccountingSink;
+    private callsMisoMsgValueAccountingHelper;
+    private bodyHasMisoMsgValueAccountingWrite;
+    private isMisoAccountingWriteTarget;
+    private exprContainsMsgValue;
+    private findDaoDaoBuildFinanceExecutor;
+    private hasDaoDaoGovernanceSurface;
+    private collectFunctionParameters;
+    private collectDaoDaoStorageAliases;
+    private collectDaoDaoLowLevelCalls;
+    private daoDaoLowLevelCall;
+    private isDangerousDaoDaoCall;
+    private isDaoDaoControlledTarget;
+    private isDaoDaoControlledData;
+    private isDaoDaoProposalMember;
+    private isDaoDaoProposalLikeStorageRead;
+    private hasDaoDaoGovernanceGateBefore;
+    private hasDaoDaoExecutionLockBefore;
+    private daoDaoCallStorageRoots;
+    private isDaoDaoConsumingExecutionWrite;
+    private isDaoDaoProtectiveLockValue;
+    private booleanLiteralValue;
+    private walkBefore;
+    private nodeStart;
+    private rootIdentifier;
+    private containsNameMatching;
+    private aliasesBeStateVar;
+    private detectPriceManipulationInflate;
+    private analyzePriceInflateStatements;
+    private walkInflateSequence;
+    private applyInflateStatement;
+    private inflateBranchStatements;
+    private cloneInflatePathState;
+    private applyInflateLeaf;
+    private expandInflateHelpersFromExpr;
+    private internalCallName;
+    private internalCallNames;
+    private internalReturnsManipulablePrice;
+    private isQuotedBoundRequire;
+    private isQuotedPayoutCall;
+    private nameValueExpressionReferencesQuote;
+    private exprHasManipulablePriceSource;
+    private exprReferencesAny;
+    private isSelfBalanceDecrease;
+    private exprContainsSelfBalanceRef;
+    private exprContainsOperator;
+    private isSelfBalanceRef;
+    private isAddressThisBalance;
+    private isAddressThis;
+    private isGetReservesCall;
+    private isGetAmountsOutCall;
+    private isTotalSupplyRead;
+    private memberAccessRoot;
+    private simpleName;
+    private walk;
+    private children;
+    private hasReentrancyGuardBody;
+    private hasRecognisedReentrancyGuardModifier;
+    private modifierName;
+    private hasRecognisedFreshnessModifier;
+    private hasInlineAccessControl;
+    private findCsOutdatedGlobalVariable;
+    private applyCsOutdatedGlobalStatement;
+    private collectCsOutdatedGlobalCaches;
+    private refreshCsOutdatedGlobalCaches;
+    private csAssignmentParts;
+    private csOutdatedGlobalSourceName;
+    private csStateAccountingName;
+    private csExpressionIsStateScoped;
+    private csStateRootName;
+    private csIsLiveBalanceCall;
+    private csStatementHasExternalInteraction;
+    private csIsRiskyExternalInteraction;
+    private csStatementUsesStaleCacheInSink;
+    private csCacheUsedInGuardBound;
+    private csConditionHasBoundOnLocal;
+    private csIsAccountingSink;
+    private csAccountingSinkName;
+    private csIsValueMovingSink;
+    private findPenpieRewardReentrancy;
+    private expandPenpieHelperCall;
+    private walkPenpieExecution;
+    private penpieChildren;
+    private isPenpieExternalInteraction;
+    private unwrapCallOptions;
+    private isPenpieAccountingWriteTarget;
+    private isPenpieRiskyExternalAccountingPair;
+    private penpieWriteTargetName;
+    private findZksyncDonationAttack;
+    private collectZksyncLiveBalanceHelpers;
+    private zksyncFunctionReturnsLiveBalance;
+    private collectZksyncAddressThisAliases;
+    private collectZksyncLiveBalanceAliases;
+    private findZksyncDonationRatio;
+    private zksyncIsUnsafeMulDiv;
+    private zksyncIsLiveBalanceExpr;
+    private zksyncIsBalanceOfThisCall;
+    private zksyncIsAddressThisExpr;
+    private zksyncContainsSupply;
+    private zksyncContainsAssetInput;
+    private zksyncHasVirtualOffset;
+    private zksyncExprHasAdditiveSupplyOffset;
+    private zksyncExprHasAdditiveLiveBalanceOffset;
+    private zksyncIsRecognizedOffset;
+    private zksyncContainsDecimalsOffsetCall;
+    private zksyncAssignmentParts;
+    private zksyncUnwrap;
+    private findCellframeLiquidityMigration;
+    private emptyCellframePathState;
+    private cloneCellframePathState;
+    private analyzeCellframeStatements;
+    private applyCellframeStatement;
+    private applyCellframeLeaf;
+    private cellframeGetReservesSource;
+    private cellframeSourceInExpression;
+    private cellframeGuardCall;
+    private cellframeSink;
+    private findCoinCutPriceManipulation;
+    private findZenterestPriceOutOfDate;
+    private hasZenterestFreshnessGuard;
+    private isZenterestFreshnessGuard;
+    private haltsExecution;
+    private zenterestAnalysis;
+    private zenterestLatestRoundDataSource;
+    private zenterestSourceInExpression;
+    private findZenterestTransferSink;
+    private findZenterestAccountingSink;
+    private zenterestAssignmentParts;
+    private coinCutAssignmentParts;
+    private coinCutAnalysis;
+    private findCoinCutTransferSink;
+    private findCoinCutAccountingSink;
+    private coinCutSourceInExpression;
+    private coinCutTaintSource;
+    private exprUsesNames;
+    private hasCoinCutReferenceGuard;
+    private coinCutReferenceConditionIsGuard;
+    private coinCutBranchContainsRevert;
+    private isAccountingWriteTarget;
+    private flattenNames;
+    private hasArithmeticOperator;
+    private findV3MigratorBiswapPattern;
+    private extractV3MigratorMintMinReferences;
+    private extractV3MigratorPairTokenChecks;
+    private hasV3MigratorSlippageCheck;
+    private v3MigratorMinReferenceSide;
+    private collectV3MigratorReferenceNames;
+    private v3MigratorReferenceName;
+    private extractV3MigratorNameValueName;
+    private isV3MigratorMinOutputName;
+    private v3MigratorPairTokenMethod;
+    private v3MigratorReferencesTokenName;
+    private v3MigratorLooksLikeBurnAmount;
+    private isV3MigratorNonZeroCheck;
+    private isZeroLiteral;
+    private extractV3MigratorMethodName;
+}