Domain-specific languages typically have numerous language elements and approaches that differ significantly from the common general-purpose languages (e.g. C, C++, Java, Python), in order to best serve the needs of the application domain. As a consequence, the analysis of programs written in these languages presents a number of unique challenges and requires unique solutions. In our research, we focus on the P4 language. The language is used to provide a high-level description of the packet processing algorithms used in various network devices (switches, routers). Interesting fact that by using it, all devices on the network become programmable, which allow the definition of a new Internet concept.