Re: About formalization of pcap expressions

[Denis Ovsienko via tcpdump-workers <tcpdump-workers () lists tcpdump org>]

> --- Begin Message ---
>
>
> From: Denis Ovsienko <denis () ovsienko info>
>
> Date: Thu, 11 Aug 2022 22:36:57 +0100
>
> 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