--- Begin Message ---
On Sat, 23 Jul 2022 17:24:12 +0200
Francois-Xavier Le Bail via tcpdump-workers
<tcpdump-workers@lists.tcpdump.org> wrote:
> Hi,
>
> FYI, the author of the following document try a formalization of pcap
> expressions:
> https://www.seas.upenn.edu/~nsultana/files/pcap_semantics.pdf In this
> document, reference to a tool: https://gitlab.com/niksu/caper
The tool now produces one of the outputs for BPF Exam and can be tried
without the need to rig up a local OCaml environment.
--
Denis Ovsienko
--- End Message ---
_______________________________________________
tcpdump-workers mailing list
tcpdump-workers@lists.tcpdump.org
https://lists.sandelman.ca/mailman/listinfo/tcpdump-workers