On Thu, Apr 11, 2019 at 8:37 AM Simon <[email protected]> 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. > > -=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#1647): https://lists.iovisor.org/g/iovisor-dev/message/1647 Mute This Topic: https://lists.iovisor.org/mt/30315706/21656 Mute #verifier: https://lists.iovisor.org/mk?hashtag=verifier&subid=2590197 Group Owner: [email protected] Unsubscribe: https://lists.iovisor.org/g/iovisor-dev/unsub [[email protected]] -=-=-=-=-=-=-=-=-=-=-=-
