bpf/progs/verifier_subprog_precision.c

42 __msg("7: (0f) r1 += r0")
43 __msg("mark_precise: frame0: regs=r0 stack= before 6: (bf) r1 = r7")
44 __msg("mark_precise: frame0: regs=r0 stack= before 5: (27) r0 *= 4")
45 __msg("mark_precise: frame0: regs=r0 stack= before 11: (95) exit")
46 __msg("mark_precise: frame1: regs=r0 stack= before 10: (bf) r0 = r1")
47 __msg("mark_precise: frame1: regs=r1 stack= before 4: (85) call pc+5")
48 __msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r1 = r6")
49 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
101 __msg("6: (0f) r1 += r0")
102 __msg("mark_precise: frame0: last_idx 6 first_idx 0 subseq_idx -1")
103 __msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r1 = r6")
104 __msg("mark_precise: frame0: regs=r0 stack= before 4: (27) r0 *= 4")
105 __msg("mark_precise: frame0: regs=r0 stack= before 3: (57) r0 &= 3")
106 __msg("mark_precise: frame0: regs=r0 stack= before 10: (95) exit")
107 __msg("mark_precise: frame1: regs=r0 stack= before 9: (bf) r0 = (s8)r10")
108 __msg("7: R0_w=scalar")
132 __msg("6: (0f) r1 += r0")
133 __msg("mark_precise: frame0: last_idx 6 first_idx 0 subseq_idx -1")
134 __msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r1 = r6")
135 __msg("mark_precise: frame0: regs=r0 stack= before 4: (27) r0 *= 4")
136 __msg("mark_precise: frame0: regs=r0 stack= before 3: (57) r0 &= 3")
137 __msg("mark_precise: frame0: regs=r0 stack= before 11: (95) exit")
138 __msg("mark_precise: frame1: regs=r0 stack= before 10: (bf) r0 = (s8)r1")
143 __msg("mark_precise: frame1: regs=r1 stack= before 9: (bf) r1 = r10")
144 __msg("7: R0_w=scalar")
168 __msg("9: (0f) r1 += r0")
169 __msg("mark_precise: frame0: last_idx 9 first_idx 0")
170 __msg("mark_precise: frame0: regs=r0 stack= before 8: (bf) r1 = r7")
171 __msg("mark_precise: frame0: regs=r0 stack= before 7: (27) r0 *= 4")
172 __msg("mark_precise: frame0: regs=r0 stack= before 5: (a5) if r0 < 0x4 goto pc+1")
173 __msg("mark_precise: frame0: regs=r0 stack= before 4: (85) call pc+7")
233 __msg("mark_precise: frame1: regs=r0 stack= before 11: (b7) r0 = 0")  in __flag()
235 __msg("from 10 to 12: frame1: R0=scalar(smin=umin=1001")  in __flag()
237 __msg("mark_precise: frame1: regs=r0 stack= before 9: (85) call bpf_get_prandom_u32#7")  in __flag()
238 __msg("At callback return the register R0 has smin=1001 should have been in [0, 1]")  in __flag()
262 __msg("9: (85) call bpf_loop#181")
263 __msg("mark_precise: frame0: last_idx 9 first_idx 9 subseq_idx -1")
264 __msg("mark_precise: frame0: parent state regs=r4 stack=:")
265 __msg("mark_precise: frame0: last_idx 8 first_idx 0 subseq_idx 9")
266 __msg("mark_precise: frame0: regs=r4 stack= before 8: (b7) r4 = 0")
267 __msg("mark_precise: frame0: last_idx 9 first_idx 9 subseq_idx -1")
268 __msg("mark_precise: frame0: parent state regs=r1 stack=:")
269 __msg("mark_precise: frame0: last_idx 8 first_idx 0 subseq_idx 9")
270 __msg("mark_precise: frame0: regs=r1 stack= before 8: (b7) r4 = 0")
271 __msg("mark_precise: frame0: regs=r1 stack= before 7: (b7) r3 = 0")
272 __msg("mark_precise: frame0: regs=r1 stack= before 6: (bf) r2 = r8")
273 __msg("mark_precise: frame0: regs=r1 stack= before 5: (bf) r1 = r6")
274 __msg("mark_precise: frame0: regs=r6 stack= before 4: (b7) r6 = 3")
276 __msg("14: (0f) r1 += r6")
277 __msg("mark_precise: frame0: last_idx 14 first_idx 9")
278 __msg("mark_precise: frame0: regs=r6 stack= before 13: (bf) r1 = r7")
279 __msg("mark_precise: frame0: regs=r6 stack= before 12: (27) r6 *= 4")
280 __msg("mark_precise: frame0: regs=r6 stack= before 11: (25) if r6 > 0x3 goto pc+4")
281 __msg("mark_precise: frame0: regs=r0,r6 stack= before 10: (bf) r6 = r0")
282 __msg("mark_precise: frame0: regs=r0 stack= before 9: (85) call bpf_loop")
284 __msg("from 9 to 17: frame1:")
285 __msg("17: frame1: R1=scalar() R2=0 R10=fp0 cb")
286 __msg("17: (b7) r0 = 0")
287 __msg("18: (95) exit")
288 __msg("returning from callee:")
289 __msg("to caller at 9:")
290 __msg("frame 0: propagating r1,r4")
291 __msg("mark_precise: frame0: last_idx 9 first_idx 9 subseq_idx -1")
292 __msg("mark_precise: frame0: regs=r1,r4 stack= before 18: (95) exit")
293 __msg("from 18 to 9: safe")
329 __msg("7: (0f) r1 += r6")
330 __msg("mark_precise: frame0: last_idx 7 first_idx 0")
331 __msg("mark_precise: frame0: regs=r6 stack= before 6: (bf) r1 = r7")
332 __msg("mark_precise: frame0: regs=r6 stack= before 5: (27) r6 *= 4")
333 __msg("mark_precise: frame0: regs=r6 stack= before 11: (95) exit")
334 __msg("mark_precise: frame1: regs= stack= before 10: (bf) r0 = r1")
335 __msg("mark_precise: frame1: regs= stack= before 4: (85) call pc+5")
336 __msg("mark_precise: frame0: regs=r6 stack= before 3: (b7) r1 = 0")
337 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
365 __msg("7: (0f) r1 += r6")
366 __msg("mark_precise: frame0: last_idx 7 first_idx 0")
367 __msg("mark_precise: frame0: regs=r6 stack= before 6: (bf) r1 = r7")
368 __msg("mark_precise: frame0: regs=r6 stack= before 5: (27) r6 *= 4")
369 __msg("mark_precise: frame0: regs=r6 stack= before 4: (85) call pc+5")
370 __msg("mark_precise: frame0: regs=r6 stack= before 3: (b7) r1 = 0")
371 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
400 __msg("12: (0f) r1 += r6")
401 __msg("mark_precise: frame0: last_idx 12 first_idx 9")
402 __msg("mark_precise: frame0: regs=r6 stack= before 11: (bf) r1 = r7")
403 __msg("mark_precise: frame0: regs=r6 stack= before 10: (27) r6 *= 4")
404 __msg("mark_precise: frame0: regs=r6 stack= before 9: (85) call bpf_loop")
405 __msg("mark_precise: frame0: parent state regs=r6 stack=:")
406 __msg("mark_precise: frame0: last_idx 8 first_idx 0 subseq_idx 9")
407 __msg("mark_precise: frame0: regs=r6 stack= before 8: (b7) r4 = 0")
408 __msg("mark_precise: frame0: regs=r6 stack= before 7: (b7) r3 = 0")
409 __msg("mark_precise: frame0: regs=r6 stack= before 6: (bf) r2 = r8")
410 __msg("mark_precise: frame0: regs=r6 stack= before 5: (b7) r1 = 1")
411 __msg("mark_precise: frame0: regs=r6 stack= before 4: (b7) r6 = 3")
413 __msg("from 9 to 15: frame1:")
414 __msg("15: frame1: R1=scalar() R2=0 R10=fp0 cb")
415 __msg("15: (b7) r0 = 0")
416 __msg("16: (95) exit")
417 __msg("returning from callee:")
418 __msg("to caller at 9:")
422 __msg("frame 0: propagating r1,r4,r6")
423 __msg("mark_precise: frame0: last_idx 9 first_idx 9 subseq_idx -1")
424 __msg("mark_precise: frame0: regs=r1,r4,r6 stack= before 16: (95) exit")
425 __msg("mark_precise: frame1: regs= stack= before 15: (b7) r0 = 0")
426 __msg("mark_precise: frame1: regs= stack= before 9: (85) call bpf_loop")
427 __msg("mark_precise: frame0: parent state regs= stack=:")
428 __msg("from 16 to 9: safe")
461 __msg("9: (0f) r1 += r6")
462 __msg("mark_precise: frame0: last_idx 9 first_idx 6")
463 __msg("mark_precise: frame0: regs=r6 stack= before 8: (bf) r1 = r7")
464 __msg("mark_precise: frame0: regs=r6 stack= before 7: (27) r6 *= 4")
465 __msg("mark_precise: frame0: regs=r6 stack= before 6: (79) r6 = *(u64 *)(r10 -8)")
466 __msg("mark_precise: frame0: parent state regs= stack=-8:")
467 __msg("mark_precise: frame0: last_idx 13 first_idx 0")
468 __msg("mark_precise: frame0: regs= stack=-8 before 13: (95) exit")
469 __msg("mark_precise: frame1: regs= stack= before 12: (bf) r0 = r1")
470 __msg("mark_precise: frame1: regs= stack= before 5: (85) call pc+6")
471 __msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r1 = 0")
472 __msg("mark_precise: frame0: regs= stack=-8 before 3: (7b) *(u64 *)(r10 -8) = r6")
473 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
509 __msg("9: (0f) r1 += r6")
510 __msg("mark_precise: frame0: last_idx 9 first_idx 0")
511 __msg("mark_precise: frame0: regs=r6 stack= before 8: (bf) r1 = r7")
512 __msg("mark_precise: frame0: regs=r6 stack= before 7: (27) r6 *= 4")
513 __msg("mark_precise: frame0: regs=r6 stack= before 6: (79) r6 = *(u64 *)(r10 -8)")
514 __msg("mark_precise: frame0: regs= stack=-8 before 5: (85) call pc+6")
515 __msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r1 = 0")
516 __msg("mark_precise: frame0: regs= stack=-8 before 3: (7b) *(u64 *)(r10 -8) = r6")
517 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
554 __msg("14: (0f) r1 += r6")
555 __msg("mark_precise: frame0: last_idx 14 first_idx 10")
556 __msg("mark_precise: frame0: regs=r6 stack= before 13: (bf) r1 = r7")
557 __msg("mark_precise: frame0: regs=r6 stack= before 12: (27) r6 *= 4")
558 __msg("mark_precise: frame0: regs=r6 stack= before 11: (79) r6 = *(u64 *)(r10 -8)")
559 __msg("mark_precise: frame0: regs= stack=-8 before 10: (85) call bpf_loop")
560 __msg("mark_precise: frame0: parent state regs= stack=-8:")
561 __msg("mark_precise: frame0: last_idx 9 first_idx 0 subseq_idx 10")
562 __msg("mark_precise: frame0: regs= stack=-8 before 9: (b7) r4 = 0")
563 __msg("mark_precise: frame0: regs= stack=-8 before 8: (b7) r3 = 0")
564 __msg("mark_precise: frame0: regs= stack=-8 before 7: (bf) r2 = r8")
565 __msg("mark_precise: frame0: regs= stack=-8 before 6: (bf) r1 = r6")
566 __msg("mark_precise: frame0: regs= stack=-8 before 5: (7b) *(u64 *)(r10 -8) = r6")
567 __msg("mark_precise: frame0: regs=r6 stack= before 4: (b7) r6 = 3")
569 __msg("from 10 to 17: frame1:")
570 __msg("17: frame1: R1=scalar() R2=0 R10=fp0 cb")
571 __msg("17: (b7) r0 = 0")
572 __msg("18: (95) exit")
573 __msg("returning from callee:")
574 __msg("to caller at 10:")
578 __msg("frame 0: propagating r1,r4,fp-8")
579 __msg("mark_precise: frame0: last_idx 10 first_idx 10 subseq_idx -1")
580 __msg("mark_precise: frame0: regs=r1,r4 stack=-8 before 18: (95) exit")
581 __msg("mark_precise: frame1: regs= stack= before 17: (b7) r0 = 0")
582 __msg("mark_precise: frame1: regs= stack= before 10: (85) call bpf_loop#181")
583 __msg("mark_precise: frame0: parent state regs= stack=:")
584 __msg("from 18 to 10: safe")
629 __msg("8: (0f) r2 += r1")
630 __msg("mark_precise: frame1: last_idx 8 first_idx 0")
631 __msg("mark_precise: frame1: regs=r1 stack= before 6: (18) r2 = ")
632 __msg("mark_precise: frame1: regs=r1 stack= before 5: (67) r1 <<= 2")
633 __msg("mark_precise: frame1: regs=r1 stack= before 2: (85) call pc+2")
634 __msg("mark_precise: frame0: regs=r1 stack= before 1: (bf) r1 = r6")
635 __msg("mark_precise: frame0: regs=r6 stack= before 0: (b7) r6 = 3")
679 __msg("10: (0f) r1 += r7")
680 __msg("mark_precise: frame0: last_idx 10 first_idx 7 subseq_idx -1")
681 __msg("mark_precise: frame0: regs=r7 stack= before 9: (bf) r1 = r8")
682 __msg("mark_precise: frame0: regs=r7 stack= before 8: (27) r7 *= 4")
683 __msg("mark_precise: frame0: regs=r7 stack= before 7: (79) r7 = *(u64 *)(r10 -8)")
684 __msg("mark_precise: frame0: parent state regs= stack=-8:  R0_w=2 R6_w=1 R8_rw=map_value(map=.data.…
685 __msg("mark_precise: frame0: last_idx 18 first_idx 0 subseq_idx 7")
686 __msg("mark_precise: frame0: regs= stack=-8 before 18: (95) exit")
687 __msg("mark_precise: frame1: regs= stack= before 17: (0f) r0 += r2")
688 __msg("mark_precise: frame1: regs= stack= before 16: (79) r2 = *(u64 *)(r1 +0)")
689 __msg("mark_precise: frame1: regs= stack= before 15: (79) r0 = *(u64 *)(r10 -16)")
690 __msg("mark_precise: frame1: regs= stack= before 14: (7b) *(u64 *)(r10 -16) = r2")
691 __msg("mark_precise: frame1: regs= stack= before 13: (7b) *(u64 *)(r1 +0) = r2")
692 __msg("mark_precise: frame1: regs=r2 stack= before 6: (85) call pc+6")
693 __msg("mark_precise: frame0: regs=r2 stack= before 5: (bf) r2 = r6")
694 __msg("mark_precise: frame0: regs=r6 stack= before 4: (07) r1 += -8")
695 __msg("mark_precise: frame0: regs=r6 stack= before 3: (bf) r1 = r10")
696 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 1")
733 __msg("17: (0f) r1 += r0")
734 __msg("mark_precise: frame0: last_idx 17 first_idx 0 subseq_idx -1")
735 __msg("mark_precise: frame0: regs=r0 stack= before 16: (bf) r1 = r7")
736 __msg("mark_precise: frame0: regs=r0 stack= before 15: (27) r0 *= 4")
737 __msg("mark_precise: frame0: regs=r0 stack= before 14: (79) r0 = *(u64 *)(r10 -16)")
738 __msg("mark_precise: frame0: regs= stack=-16 before 13: (7b) *(u64 *)(r7 -8) = r0")
739 __msg("mark_precise: frame0: regs=r0 stack= before 12: (79) r0 = *(u64 *)(r8 +16)")
740 __msg("mark_precise: frame0: regs= stack=-16 before 11: (7b) *(u64 *)(r8 +16) = r0")
741 __msg("mark_precise: frame0: regs=r0 stack= before 10: (79) r0 = *(u64 *)(r7 -8)")
742 __msg("mark_precise: frame0: regs= stack=-16 before 9: (7b) *(u64 *)(r10 -16) = r0")
743 __msg("mark_precise: frame0: regs=r0 stack= before 8: (07) r8 += -32")
744 __msg("mark_precise: frame0: regs=r0 stack= before 7: (bf) r8 = r10")
745 __msg("mark_precise: frame0: regs=r0 stack= before 6: (07) r7 += -8")
746 __msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r7 = r10")
747 __msg("mark_precise: frame0: regs=r0 stack= before 21: (95) exit")
748 __msg("mark_precise: frame1: regs=r0 stack= before 20: (bf) r0 = r1")
749 __msg("mark_precise: frame1: regs=r1 stack= before 4: (85) call pc+15")
750 __msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r1 = r6")
751 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 1")