- Check:
pess-dubious-typecast - Severity:
Medium - Confidence:
High
Highlights explicit typecasts, where the result value can differ from the original one. E.g., uint8(uint256(1e18)), uint256(int256(-1)).
Verify that the typecast doesn't break the code.