On Mon, Dec 9, 2019 at 1:27 PM Daniel Borkmann <daniel@xxxxxxxxxxxxx> wrote: > > This is awesome work! Did you also check for other architectures aside > from riscv and x86-32, e.g. x86-64 or arm64? We haven't tried on x86-64 or arm64 yet, but we plan to in the future and are looking at ways to minimize the effort required to port verification to new architectures. > It would be great if we could add such verification tool under tools/bpf/ > which would then take the in-tree JIT-code as-is for its analysis and > potentially even trigger a run out of BPF selftests. Any thoughts whether > such path would be feasible wrt serval? Right now the verification requires manual translation of the JIT implementation in C to Rosette for verification, which makes it difficult to integrate into existing tests. Were currently working on automating this process to be able to verify the C implementation directly. If this works out, it'd be awesome to integrate into the selftests in some way. Will keep you posted. Thanks, Luke
