Overlaying control flow graphs on P4 Syntax trees with Gremlin

Lukács Dániel; Tejfel Máté: Overlaying control flow graphs on P4 Syntax trees with Gremlin. In: Acta cybernetica, (26) 3. pp. 593-619. (2024)

Előnézet

Cikk, tanulmány, mű cybernetica_026_numb_003_593-619.pdf Letöltés (553kB) | Előnézet

Absztrakt (kivonat)

Our overall research aim is to statically derive execution cost and other metrics from program code written in the P4 programming language. For this purpose, we extract a detailed control flow graph (CFG) from the code, that can be turned into a full, formal model of execution, to extract properties -- such as execution cost -- from the model. While CFG extraction and analysis is well researched area, details are dependent on code representation and therefore application of textbook algorithms (often defined over unstructured code listings) to real programming languages is often non-trivial. Our aim is to present an algorithm for CFG extraction over P4 abstract syntax trees (AST). During the extraction we create direct links between nodes of the CFG and the P4 AST: this way we can access all information in the P4 AST during CFG traversal. We are utilizing Gremlin, a graph query language to take advantage of graph databases, but also for compactness and to formally prove algorithm correctness.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2024
Kötet:	26
Szám:	3
ISSN:	2676-993X
Oldalak:	pp. 593-619
Nyelv:	angol
Kiadó:	University of Szeged, Institute of Informatics
Kiadás helye:	Szeged
Befoglaló mű URL:	https://acta.bibl.u-szeged.hu/86904/
DOI:	10.14232/actacyb.298770
Kulcsszavak:	P4 programozási nyelv, Programozás, Programanalízis, Gremlin lekérdezőnyelv, Gráfadatbázis
Megjegyzések:	Bibliogr.: p. 610-612. ; ill. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2025. ápr. 15. 20:46
Utolsó módosítás:	2025. ápr. 16. 07:22
URI:	http://acta.bibl.u-szeged.hu/id/eprint/86988

Bővebben:

Tétel nézet