external-call-safety

Unchecked external calls are detected by analyzing low-level calls like `call`, `delegatecall`, and `staticcall` to ensure their success is verified, preventing silent failures and state desynchronization. This analysis flags missing return value checks.

Auditing for fee-on-transfer and rebasing token vulnerabilities involves analyzing ERC20 integrations using balance-before-after checks and SafeERC20 patterns to handle unexpected token behaviors, preventing protocol insolvency.

ERC-777 tokens introduce reentrancy risks through callback hooks during token transfers. Analyzing these callback vulnerabilities involves checking external interaction patterns to prevent malicious re-entry and denial-of-service attacks.

Yes, this analysis covers unsafe approve race conditions and blacklist or pausable token issues by identifying non-standard token behaviors and external contract risks that can restrict transfers or lead to fund loss.

Preventing return data bombs and gas stipend limitations requires analyzing external contract interactions for safe ETH transfer patterns and evaluating gas usage to mitigate denial-of-service vectors.