Division by Zero and Denominator Taint Detection

[gbrigandi]

Traverse fails to detect division by zero vulnerabilities and track when untrusted data flows into denominators. Smart contracts with unvalidated denominators can panic or freeze when user inputs result in zero values.
Traverse should identify division operations using unvalidated user inputs, external call results, or manipulated state variables as denominators. This prevents runtime panics and denial-of-service conditions in DeFi protocols where division by zero could lock funds or break core functionality.