slither
slither copied to clipboard
Incorrect implicit type conversion
TypeConversion
operations are missing.
For example in
function addTest(uint8 a, uint32 b) external pure returns(uint32){
return a+b;
}
a+b
leads to implicit type conversion. We need to locate implicit type conversion and add the TypeConversion
operation
Related to https://github.com/crytic/slither/pull/283