Detect use of bitwise xor ^
instead of exponential **
contract Bug{
uint UINT_MAX = 2^256 - 1;
...
}
Alice deploys a contract in which UINT_MAX
incorrectly uses ^
operator instead of **
for exponentiation
Use the correct operator **
for exponentiation.
incorrect-exp on Slither's wiki.