Symnet  is a state-of-the art network verification tool. The purpose of Symnet is to detect network problems as early as possible, without relying on dynamic testing (injecting and tracing packets through the network). Symnet works by statically analysing the network at a given moment using symbolic execution, thus making it a "packet tracer on steroids" which can trace the behaviour of entire classes of packets at once. Since its inception the project was the main focus of two Sigcomm(the flagship conference in computer networks) papers (2016 , 2018).
So far the efforts of developing Symnet went mainly into making it as efficient and feature-rich as possible, and usability took the back seat. At this point the project is mature enough for us to consider improving its usability and popularity. In this regard, this project proposes developing a web-based network debugger based on Symnet. The debugger application will be a standalone effort, a Play  web-application that will rely on Symnet for the analysis logic. Symnet will be encapsulated as a web-service (by our team) and the debugger will invoke Symnet's API using REST . The display of analysis results (the graphical interface) will be done using Vis.js.
In short, the intended outcome of this project is to build a web-application capable of running GDB-like commands  from the browser, relying on Symnet as the backed that computes the command results for the web-application to display.
Get acquainted with Symnet by reading the first 6 sections of the Symnet paper .