Search results

[A22-6] [MEDIUM] IFlowV5 rainlang example stack omits inter-type sentinels

auditAudit findingAudit finding

mediumSeverity: mediumSeverity: medium

pass3Audit Pass 3: DocumentationAudit Pass 3: Documentation

Status: Open.

#424 In rainlanguage/flow;

· thedavidmeister opened on Apr 27, 2026

[TEST-5] [INFO] testFlowHaltIfEnsureRequirementNotMet does not pin ensure path

auditAudit findingAudit finding

infoSeverity: infoSeverity: info

pass5Audit Pass 5: CorrectnessAudit Pass 5: Correctness

Status: Open.

#423 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[TEST-4] [LOW] testFlowBasicFlowTime tests store writes, not time

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass5Audit Pass 5: CorrectnessAudit Pass 5: Correctness

Status: Open.

#422 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[TEST-3] [LOW] Negative-path FlowTransferV1 construction duplicated in Flow.transfer.t.sol

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#421 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[TEST-2] [LOW] Manual private-key bounding duplicates boundPrivateKey from forge-std

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#420 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[TEST-1] [LOW] IFlowV5.t.sol imports sentinel from V4, not V5

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#419 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[A23-10] [INFO] LibFlow sibling loops use inconsistent i++/++i increment

auditAudit findingAudit finding

infoSeverity: infoSeverity: info

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#416 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[A22-5] [INFO] IFlowV5 Pointer import is dead and not re-exported

auditAudit findingAudit finding

infoSeverity: infoSeverity: info

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#415 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[A01-9] [LOW] BadMinStackLength declared in Flow.sol instead of ErrFlow.sol

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#414 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[GLOBAL-3] [LOW] FlowUtilsAbstractTest shim methods marked temporary

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#413 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[GLOBAL-2] [MEDIUM] Submodules pull conflicting openzeppelin-contracts/forge-std versions

auditAudit findingAudit finding

mediumSeverity: mediumSeverity: medium

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#412 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026

[GLOBAL-1] [LOW] Bare src/ imports break repo as Foundry submodule

auditAudit findingAudit finding

lowSeverity: lowSeverity: low

pass4Audit Pass 4: Code QualityAudit Pass 4: Code Quality

Status: Open.

#411 In rainlanguage/flow;

· thedavidmeister opened on Apr 26, 2026