Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Annals of Computer Science and Information Systems

1 2019

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

A formal method to detect possible P4 specific errors

Tóth Gabriella, Tejfel Máté

Annals of Computer Science and Information Systems

2019

Vol. 19

49--56

P4 is a programming language to develop data processing of networks. These kind of programs are used in network devices - like switches - to describe the way of forwarding the received packets to the proper device. Checking the correctness of these program is not an obvious task, because they can easily hide the run time errors. We are working on a method to detect violation of P4 specific properties for these programs. The method if based on a rule system, which can detect suspicious program parts and indicate the violated property to correct it easily. As a first step, we introduce the main idea, dealing with the access of invalid header and uninitialized fields with presenting it with a case study.