Re: [tcpdump-workers] About formalization of pcap expressions

2022-08-14 Thread Denis Ovsienko via tcpdump-workers
--- Begin Message --- On Sat, 23 Jul 2022 17:24:12 +0200 Francois-Xavier Le Bail via tcpdump-workers 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,

[tcpdump-workers] About formalization of pcap expressions

2022-07-23 Thread Francois-Xavier Le Bail via tcpdump-workers
--- Begin Message --- 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 -- Francois-Xavier --- End Message ---