search

vbpf / ebpf-verifier

eBPF verifier based on abstract interpretation
MIT License
375 stars 39 forks source link

Print precise location within blocks #655

Open elazarg opened 2 months ago

elazarg commented 2 months ago

Add the location within a basic block of the offending assertion. For example "3.4" instead of "3".

There's an issue with the yaml tests, since the assertions are not visible so it's not obvious to the reader what is the correct line. I think we should add the assertions as parts of the yaml code, as comments preceding each instruction.

coveralls commented 2 months ago

Coverage Status

coverage: 90.443% (+0.01%) from 90.431% when pulling cc55e3eab7e63a9ea1d23d430ad83e7c027d36c7 on location into cd399bb487e8cdbd718a0acc9409953b1fec1711 on main.

coveralls commented 1 week ago

Coverage Status

coverage: 90.423% (+0.01%) from 90.409% when pulling 2045f08ac7cefb0559a63fc38d12adef0a943459 on location into 525b8b3b2102f641df40a31e8553f00c1c28efc6 on main.