[tcpdump-workers] About formalization of pcap expressions

Denis Ovsienko denis at ovsienko.info
Thu Aug 11 17:36:57 EDT 2022


On Sat, 23 Jul 2022 17:24:12 +0200
Francois-Xavier Le Bail via tcpdump-workers
<tcpdump-workers at 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


More information about the tcpdump-workers mailing list