external-precondition-audit

When auditing external package calls in Sui Move, you assess UpgradeCap status, upgrade policy, and mitigation strategies to evaluate package upgrade risks. This assessment ensures safe dependency management and specifies immutability requirements for deterministic evaluation.

Return value handling affects external package safety by evaluating potential failures from external calls, such as unexpected returns or state changes across epochs. Analyzing these return values allows developers to detect unsafe interactions and produce actionable remediation findings.

Yes, you can assess package upgrade risks for Sui Move dependencies by evaluating the UpgradeCap status and upgrade policy. This analysis identifies potential state changes across upgrades and specifies mitigation strategies to safely pin or manage dependencies.

The limitations of analyzing external package calls include relying on interface-level inference to derive required guarantees, which may not capture all internal state dependencies. Evaluating unexpected returns and state changes across epochs requires careful mapping of immutability and upgrade policy constraints.