“bpf-jit-verif” is a tool to run formal verification of the #eBPF #RISC_V JIT-compiler, based on the Serval framework, by @lukenels_ and Xi Wang. Hopefully more architectures will be supported in the future!https://github.com/uw-unsat/bpf-jit-verif …
0 replies
1 proslijeđeni tweet
13 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.