Elazar Gershuni
Elazar Gershuni
I don't say your proposal is impossible, but I think it is somewhat outside of how abstract interpretation usually works. joins do not usually contain assertions (which is roughly like...
I think it can be made equivalent to backwards-must analysis when the domain is finite, if we can treat bpf_ringbuf_reserve as possible only on a predefined number of values.
I think there's an issue with tracking the result of `bpf_ringbuf_reserve()`: it may return NULL, and the buffer is only acquired if it is not NULL, so simply using another...
Some thoughts: - It is an optimization step, essentially creating an intermediate representation of eBPF - one augmented with optimization hints to the AOT compiler. Not necessarily a bad idea...
The [specte](https://github.com/vbpf/ebpf-verifier/tree/spectre) branch is an initial work on this.
There are several check annotations in this PR. What should we do with them?
This is the only part of the code I did not touch. I would really like to have it use the same location extraction as the scraping code, but I'm...
I agree that widgets should catch exceptions and fail gracefully, and that using exceptions for unrecoverable errors is cleaner.
I agree with Ziv. Mocking is generally better, and it's how other tests are written. If you want to test querying the DB, that would be a different test.