Build with address sanitizer

vbpf / ebpf-verifier

eBPF verifier based on abstract interpretation

MIT License

389 stars 43 forks source link

Build with address sanitizer #601

Closed Alan-Jowett closed 2 weeks ago

Alan-Jowett commented 8 months ago

Add CI/CD option to build ebpf-verifier with AddresSanitizer and SanitizerCoverage.

Currently blocked on:

/home/runner/work/ebpf-verifier/ebpf-verifier/src/crab/array_domain.cpp:68:10: runtime error: shift exponent 64 is too large for 64-bit type 'uint64_t' (aka 'unsigned long')
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /home/runner/work/ebpf-verifier/ebpf-verifier/src/crab/array_domain.cpp:68:10

coveralls commented 8 months ago

coverage: 90.378% (+0.003%) from 90.375% when pulling 91a03e2bc386aeea48346ff348e9dfc8bf75be0f on Alan-Jowett:sanitizer into edf88e2bed6d281657a032dc38fa6e4983ab0478 on vbpf:main.