Source code and evaluation set of p4-data-flow, a software verification tool for switch programs written using the P4 language. For further information, please refer to our paper "P4 Switch Code Data Flow Analysis: Towards Stronger Verification of Forwarding Plane Software", published in the proceedings of IEEE/IFIP NOMS 2020 (DOI: https://doi.org/10.1109/NOMS47738.2020.9110307).
You need to use Python 3.7 to run p4-data-flow. Use option -h for assistance on program features.