Packet flow analysis in IP networks using data-flow analysis

Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia
2012 Proceedings of the 5th India Software Engineering Conference on - ISEC '12  
Static analysis (aka offline analysis) of a model of an IP network is useful for understanding, debugging, and verifying packet flow properties of the network. Data-flow analysis is a method that has typically been applied to static analysis of programs. We propose a new, data-flow based approach for static analysis of packet flows in networks. We also investigate an application of our analysis to the problem of inferring a high-level policy from the network, which has been addressed in the past only for a single router.
doi:10.1145/2134254.2134263 dblp:conf/indiaSE/KomondoorLSB12 fatcat:y5wo35q3jjctlj27mc3gglhade