The code for the BPF interpreter is available at https://github.com/uw-unsat/serval-sosp19/blob/master/serval/serval/bpf.rkt … and written in Rosette, an extension of the Racket language. https://unsat.cs.washington.edu/projects/serval has lots of other references and details.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.