iovisor-dev@lists.iovisor.org

Home Messages Hashtags Subgroups

This group is locked. No changes can be made to the group while it is locked.

Tools

Collapse Topics

Exclude Signatures

Clear

#verifier

Relevance · Date 1 - 2 of 2

Between

and

math between pkt pointer and register with unbounded min value is not allowed 14 #verifier

Hi, Simon, Finally got some time to deep dive into the verifier for this issue. I filed an issue https://github.com/iovisor/bcc/issues/2463 with possible suggestion to add a new checksum calculation h

By Yonghong Song ·

#verifier

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

Glad you find a solution! Sure. Verifier understands some dynamic check if these dynamic check is resolved to be constant vs. variable or constant vs. constant compares during path sensitive verificat

By Yonghong Song ·

#verifier

1 - 2 of 2