Analysis Limitations

• Decompilation cannot reliably recover every piece of information removed during compilation.
• A compilable reconstruction does not prove behavioral equivalence with deployed bytecode.
• Static and model-assisted analysis can miss vulnerabilities or produce false positives.
• External contracts, governance, private keys, and off-chain systems can change practical risk.
• Proxy implementations and chain state can change after analysis.
• Transaction simulation cannot guarantee final mined execution.

Before relying on a result, confirm the chain, address, analyzed block, code hash, source origin, report freshness, and unresolved warnings.

SUMUN does not certify that a contract or transaction is safe and does not replace a complete professional audit.