tcpdump mailing list archives
Re: About formalization of pcap expressions
From: Denis Ovsienko via tcpdump-workers <tcpdump-workers () lists tcpdump org>
Date: Thu, 11 Aug 2022 22:36:57 +0100
--- 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/caperThe 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
Current thread:
- About formalization of pcap expressions Francois-Xavier Le Bail via tcpdump-workers (Jul 23)
- Re: About formalization of pcap expressions Denis Ovsienko via tcpdump-workers (Aug 14)