During test, I have found some false positives with send and transfer method, which are safe from re-entrancy vulnerability. So I add the constraint, the gas value of CALL op should be positive integer, to eliminate these warnings.
Please feel free to merge this pr. This modification is safe for the whole project.
During test, I have found some false positives with send and transfer method, which are safe from re-entrancy vulnerability. So I add the constraint, the gas value of CALL op should be positive integer, to eliminate these warnings.
Please feel free to merge this pr. This modification is safe for the whole project.