A protype of the issue display for symbolic execution based on data-flow. Enables interactive exploration of the issue dependencies.

Developed together with sebastian-hungerecker-sonarsource. Published at https://arseniy-sonar.github.io/se-ui-prototype/