Thesis Details

Graf řízení toku programů v jazyce P4

Bachelor's Thesis Student: Ponek Timotej Academic Year: 2021/2022 Supervisor: Kekely Lukáš, Ing., Ph.D.
English title
Control Flow Graph for P4 Programs

Concept of SDN gradually became one of the most popular solutions for network management. It allows rapid reconfigurability of network devices, to reflect actual demands and to enable quick testing of new solutions, which supports overall advance in networking. This thesis focuses on P4 programming language, which is one of the implementations of SDN concept. The goal of this thesis is improvement of the existing open-source P4 compiler. More precisely, extension of a part used to generate control flow graphs. New implementation captures program flow even inside match-action tables and actions, which allows easier checking of compiler output and further optimization of compiler to reduce dead code. It also provides option to generate a fullgraph in dot format and a predefined json format that captures the flow of the program across all function blocks of the P4 program.


SDN, OpenFlow, P4, p4c, compiler, visitor, control flow graph, match-action table, dot, fullgraph

Degree Programme
defended, grade A
16 June 2022
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), předseda
Beran Vítězslav, Ing., Ph.D. (DCGM FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT), člen
PONEK, Timotej. Graf řízení toku programů v jazyce P4. Brno, 2022. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2022-06-16. Supervised by Kekely Lukáš. Available from:
    author = "Timotej Ponek",
    type = "Bachelor's thesis",
    title = "Graf \v{r}\'{i}zen\'{i} toku program\r{u} v jazyce P4",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2022,
    location = "Brno, CZ",
    language = "czech",
    url = ""
Back to top