Re: R? min value is negative, either use unsigned or 'var &= const' #verifier


Yonghong Song
 

On Thu, Apr 11, 2019 at 8:37 AM Simon <contact@...> wrote:

I finally discover that checksum can be calculated via incremental update. (see RFC 1624)

Using it, I didn't have to deal with dynamic sized payload and so no more issue with the verifier.
Glad you find a solution!


So I go back to use bcc :)

Again, Thx a lot Yonghong for your time !

Please don't forget to keep me in touch about that even if I'm not impacted anymore, I'm curious to know how you move forward on this !
Sure.


(By the way did you get the point about the error just above, is the verifier able to understand this kind of dynamic check ?)
Verifier understands some dynamic check if these dynamic check is
resolved to be constant vs. variable or constant vs. constant compares
during path sensitive verification.


Join iovisor-dev@lists.iovisor.org to automatically receive all group messages.