[RULE] Rule G023: Flag Unused Capacity Allocations in Memory Arrays

[mijinummi]

Labels: good-first-issue, gasguard-rules, solidity, gasguard
Difficulty: Easy
Module: rules/g023_memory_array_allocation.rs

---

🧠 Concept

Add static rule G023 to detect memory array declarations initialized with large fixed sizes that are only partially populated during execution.

⚠️ Problem

Allocating memory arrays with oversized initial lengths expands the free memory space prematurely, triggering unnecessary memory expansion gas fees.

📁 Implementation Scope

• rules/g023_memory_array_allocation.rs
• test/fixtures/g023_samples.sol

🛠️ Requirements

1. Analyze memory array allocations (new uint256[](size)).
2. Cross-reference initialized length against maximum loop bounds populated in the function scope.
3. Flag over-allocated array declarations.

🎯 Acceptance Criteria

• Flags memory array allocations exceeding maximum population bounds.
• Passes cleanly when memory array size matches populate bounds.

[Nemenwq]

@Nemenwq has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

hi maintainer, I have gone through the issue description and have a clear understanding of the requirements. I’d like to work on this issue and am confident I can implement the required changes successfully.
please assign me this. eta: 5hours

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Nemenwq to this issue.

[ValJnr-dev1]

@ValJnr-dev1 has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Hi Maintainer,

I’m a smart contract and full-stack developer and would love to contribute to this issue. I’m an experienced contributor with hands-on expertise in Rust, Soroban, Cairo, and TypeScript.

I’m passionate about building secure, scalable blockchain solutions, with a strong emphasis on writing clean and maintainable code. Based on the scope of this issue, I’m confident I can deliver a complete solution within 24 hours of assignment.

I’d greatly appreciate the opportunity to contribute and help move this forward.

ℹ️ Repo Maintainers: To accept this application, review their application or assign @ValJnr-dev1 to this issue.

[khyiengkc]

@khyiengkc has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Hi Maintainer! I’m interested in contributing to this task and can ensure timely delivery with clean implementation.

ℹ️ Repo Maintainers: To accept this application, review their application or assign @khyiengkc to this issue.

[hashmart138-creator]

@hashmart138-creator has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Hi Maintainer, I’d like to work on this issue
I have experience. thank you!

ℹ️ Repo Maintainers: To accept this application, review their application or assign @hashmart138-creator to this issue.

[Mayorlay]

@Mayorlay has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Hello please This issue aligns well with my experience. I can work on it and submit a polished PR for review

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Mayorlay to this issue.

[xtep103]

@xtep103 has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Hi Maintainer, I'd be glad to handle this issue. I've reviewed the requirements and am confident in the implementation. I'll start immediately if assigned, provide progress updates, and submit a well-tested PR without unnecessary delay.

ℹ️ Repo Maintainers: To accept this application, review their application or assign @xtep103 to this issue.

[samkay-ops]

@samkay-ops has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Hi team,
I'm applying to work on this issue.
I have strong experience with TypeScript, NestJS, and Soroban smart contracts. I will deliver clean, tested code following the acceptance criteria.
Ready to start immediately.
Best regards,
samkay-ops

ℹ️ Repo Maintainers: To accept this application, review their application or assign @samkay-ops to this issue.

[emarkees]

@emarkees has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

I can help you fix this issue

ℹ️ Repo Maintainers: To accept this application, review their application or assign @emarkees to this issue.

[Spaully]

@Spaully has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Can I take this issue please

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Spaully to this issue.

[OLAMIGHTY010]

@OLAMIGHTY010 has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

I want to work on this project

ℹ️ Repo Maintainers: To accept this application, review their application or assign @OLAMIGHTY010 to this issue.

[SpacePanda7077]

@SpacePanda7077 has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Hi maintainer, I’ll love to work on this issue

ℹ️ Repo Maintainers: To accept this application, review their application or assign @SpacePanda7077 to this issue.

[drips-wave]

Congratulations, @Spaully! 🎉 Your application was accepted by the repo's maintainers, and the issue is due on July 30, 2026.

🧑‍💻 @Spaully: Please resolve the issue such that the repo's maintainers have enough time to review your contribution before the due date. You'll earn Points for completing the issue on-time, which will make you eligible for a share of the Stellar Wave Program's reward pool.

Warning

When opening a PR, please link it to this issue to ensure it gets tracked accurately. Points are awarded when this issue is marked as completed by the maintainer.

🤠 Repo maintainers: Please keep an eye on the contributor's progress and review their work before the due date. You can manage this issue, including adjusting its complexity and points, here.

🌊 Happy Wave 🌊