The fee detector just checks for the following pattern and reports paths if an execution path does not have this pattern of instructions.
txn Fee
int <...>
[ == | != | < | <= | ..]
This PR updates the detector to use possible fee values calculated by transaction field analysis. Fee detector reports paths if it is not checked against some non-integer or is checked against a Large fee value.
The fee detector just checks for the following pattern and reports paths if an execution path does not have this pattern of instructions.
This PR updates the detector to use possible fee values calculated by transaction field analysis. Fee detector reports paths if it is not checked against some non-integer or is checked against a Large fee value.