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

Date 1 - 11 of 11

Between

and

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

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. So I go bac

By Simon · #1646 ·

#verifier

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

Thx a lot for your time Jiong. The more I played with bpf/xdp, the more I understand that the challenge is about making "optimized byte code" compliant for the verifier. How could I do this kind of ch

By Simon · #1631 ·

#verifier

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

Hi, I begin to start to rewrite my code without using bcc. (I only used bpf c api / clang/ iproute2) I have a reduced version compared to the one I used here, unlike the previous error I reported here

By Simon · #1628 ·

#verifier

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

Hi Jiong, I didn't succeed to generate .i file using bcc, but since severals days I try to rewrite my code without bcc. (directly with bpf C api / clang / iproute2) I didn't finished yet, but I have a

By Simon · #1627 ·

#verifier

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

Maybe a silly question, but does it make sense to try to change compiler optimization option ? (I tried to play with -O option without success) Please keep me informed about your progress about this i

By Simon · #1615 ·

#verifier

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

Thx a lot again for your time and your detailed explanation. About the workaround you proposed, I didn't get where I should repeat __u16 udp_len = bpf_ntohs(udp->len);.. I tried several spot but didn'

By Simon · #1612 ·

#verifier

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

Here a python 2 version.

By Simon · #1608 ·

#verifier

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

I tried to understand again this verifier error again and probably my previous post does not contain enough information. I understand that : 93: (67) r0 <<= 32 294: (c7) r0 s>>= 32 295: (b7) r1 = 0 29

By Simon · #1606 ·

#verifier

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

I suspect I fall in another issue with verifier. This code (taking from katran : I just changed data_size type to __u32): __attribute__((__always_inline__)) static inline void ipv4_l4_csum(void *data_

By Simon · #1603 ·

#verifier

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

Does it mean that r3 is considered as be16 ? I do not understand why as I explicitly convert it in u16. This output language is a readable format of bpf bytecode, right ? Is there any documentation to

By Simon · #1602 ·

#verifier

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

I'm playing with bcc to prototype an UDP load balancer. I'm facing an issue that I didn't succeed to understand... In my code I tried to validate my UDP packet using code like this : struct udphdr *ud

By Simon · #1597 ·

#verifier

1 - 11 of 11

Home Hashtags Subgroups Terms