1. SymNet: Symbolic Execution for Static Network Analysis Radu Stoenescu Matei Popovici Lorina Negreanu Costin Raiciu University POLITEHNICA of Bucharest 1 2. Context and…