Twitter | Pretraživanje | |
Paul Chaignon
And a third (proof-of-concept) BPF verifier! In this paper, et al. explain how they automatically transform a BPF interpreter into a BPF verifier using symbolic execution. They then use it to find 15 bugs in Linux's JIT compilers!
Reply Retweet Označi sa "sviđa mi se" More
Paul Chaignon 9. lis
Odgovor korisniku/ci @pchaigno
The code for the BPF interpreter is available at and written in Rosette, an extension of the Racket language. has lots of other references and details.
Reply Retweet Označi sa "sviđa mi se"