Elazar Gershuni comments

Results 102 comments of


                                            Elazar Gershuni

No blockchain support

Sorry I don't know how to do it. Could you help me? My address is `26d1ec50b4e62c1d1a40d16e7cacc6a6580757d5` private key is `17d08f5fe8c77af811caa0c9a187e668ce3b74a99acc3f6d976f075fa8e0be55`pls delete the key afterwards. If it doesn't work I will...

Add YAML tests for div and mod operations

@dthaler I have merged #384 by mistake. I can revert if that will be helpful.

Verifier should check if program is writing within bounds of buffer returned by bpf_ringbuf_reserve helper

I believe #298 needs to be completed first.

Consider supporting map definitions in a section that names the map

Good idea.

Consider supporting map definitions in a section that names the map

The PR is merged. Now only a test is missing.

Handle unsigned comparison more precisely

added minimal support for IMM.

Handle unsigned comparison more precisely

We are sound here - just ignoring unsigned comparison, taking both branches.

Verifier should implement reference tracking semantics required by BPF_MAP_TYPE_RINGBUF

I don't think this invariant is sufficient. For example, the following program is illegal but (IIUC) the invariant holds: ``` acquire(A) acquire(A) release(B) release(B) exit ``` Also, even if we...

Verifier should implement reference tracking semantics required by BPF_MAP_TYPE_RINGBUF

Correction: the TOP state should represent irrecoverable state. Maybe something like "everything is released infinitely many times".

Verifier should implement reference tracking semantics required by BPF_MAP_TYPE_RINGBUF

I think this requires backward iteration, not the forward iteration we use (so the state starts with "nothing will be released" and we collect information about what is certain to...