1 paper
Radu Stoenescu, Matei Popovici, Lorina Negreanu +1
We present SymNet, a network static analysis tool based on symbolic execution. SymNet quickly analyzes networks by injecting symbolic packets and tracing their path through the net…