When there is access to the packet in the condition of loops, we need to also do the bound check at the end of loop. It will catch the cases going through the backward jump to the condition check.
In the special case of for loops, the post instructions must be moved to the end of the body of the loop before performing the bound-check.
When there is access to the packet in the condition of loops, we need to also do the bound check at the end of loop. It will catch the cases going through the backward jump to the condition check.
In the special case of for loops, the post instructions must be moved to the end of the body of the loop before performing the bound-check.