Externally accessible functions (external/public visibility) may be called with any possible arguments. Without complete and proper validation (e.g. zero address checks, bound checks, threshold checks etc.), they cannot be assumed to comply with any assumptions made about them in the code.
- Function Calls Inputs -> What
- Public/External Called w/Any Inputs
- Assumptions on Validity
- Inputs -> Arbitrary
- Input Validation