Static Analysis of Dynamic Communication Systems