Variant Analysis

Finding "variants" of known bugs in other parts of the codebase. Use when this capability is needed.

tomevault-io Updated

File contents

Variant Analysis

This skill helps you multiply the value of a single finding by locating similar vulnerabilities elsewhere.

1. The Pivot

Once you find a bug (e.g., "Missing usage of checked_add in function A"):

  • Abstract the Pattern: "Arithmetic operation on user input without checks".
  • Search: grep for other occurrences of the same pattern.

2. Common MultiversX Variants

  • Missing Payable Check:
    • Found: One endpoint accepts payment but doesn't check call_value().
    • Variant Search: Check ALL #[payable] endpoints.
  • Unbounded Iteration:
    • Found: Iterating a VecMapper in compute_reward.
    • Variant Search: grep -r "iter()" on all mappers.
  • Async Callback Revert:
    • Found: Callback X doesn't revert state on failure.
    • Variant Search: Check ALL #[callback] functions.

3. Automation

  • Use mvx_static_analysis (Semgrep) to create a temporary rule for the variant.

Converted and distributed by TomeVault — claim your Tome and manage your conversions.

tomevault-io/skills-registry/tree/main/multiversx--mx-ai-skills--variant-analysis commit 4cf10b6021

Frequently asked questions

npx skillmds@latest add tomevault-io/variant-analysis-2