Ignored correlations between callee-saved registers with unknown values

vbpf / ebpf-verifier

eBPF verifier based on abstract interpretation

MIT License

389 stars 43 forks source link

Ignored correlations between callee-saved registers with unknown values #670

Open elazarg opened 2 months ago

elazarg commented 2 months ago

Maybe we need a bulk-rename operation within the numerical domain: "rename this set of variables to this set of variables". The domain should handle correlations and default values.

_Originally posted by @elazarg in https://github.com/vbpf/ebpf-verifier/pull/608#discussion_r1650194199_