P4Query: Static analyser framework for P4

Lukács, Dániel, Tóth, Gabriella, Tejfel, Máté (2023) P4Query: Static analyser framework for P4 Annales Mathematicae et Informaticae. 57. pp. 49-64. ISSN 1787-6117 (Online)

pdf 49_64.pdf Download (4MB) [error in script]

Absztrakt (kivonat)

There are many important tasks in a conventional software development process which can be supported by different analysis techniques. P4 is a high level domain-specific language for describing the data plane layer of packet processing algorithms. It has several uncommon language elements and concepts that often make the analysis of P4 programs a laborious task. The paper presents P4Query, an analysis framework for the P4 language that enables the specification of different P4-related analysis methods in a generic and data-centric way. The framework uses an internal graph representation which contains the results of applied analysis methods too. In this way, the framework supports the rapid implementation of new analysis methods in a way where the results will be also easily reusable by other methods.

Mű típusa:	Folyóiratcikk - Journal article
Szerző:	Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Lukács, Dániel NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Tóth, Gabriella NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Tejfel, Máté NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző
Megjegyzés:	The research has been supported by the project “Application Domain Specific Highly Reliable IT Solutions” implemented with the support of the NRDI Fund of Hungary, financed under the Thematic Excellence Programme TKP2020-NKA-06 (National Challenges Sub programme) funding scheme. This research is in part supported by the project no. FK_21 138949, provided by the National Research, Development and Innovation Fund of Hungary. Supported by the ÚNKP-21-4 New National Excellence Program of the Ministry for Innovation and Technology from the source of the National Research, Development and Innovation Fund.
Kapcsolódó URL-ek:	Folyóirat honlapja
Kulcsszavak:	P4 language, static analysis, analysis framework
Nyelv:	angol
Kötetszám:	57.
DOI azonosító:	10.33039/ami.2023.03.002
ISSN:	1787-6117 (Online)
Felhasználó:	Tibor Gál
Dátum:	20 Már 2023 09:34
Utolsó módosítás:	11 Aug 2023 06:57
URI:	http://publikacio.uni-eszterhazy.hu/id/eprint/7618

Műveletek (bejelentkezés szükséges)

Tétel nézet