VisuFlow – Debugging static analysis

Artifacts for VisuFlow – Visual support for debugging static analysis with Soot

VisuFlow is a debugging environment designed for static data- flow analyses written on top of the Soot analysis framework. It is integrated in the Eclipse IDE.

The data below has been anonymized.

  • Source code of VisuFlow: https://github.com/VisuFlow
  • Video demonstration: https://www.youtube.com/watch?v=51iimUDaOPQ
  • Survey questions.
  • Survey results:
    • The first sheet contains the raw answers.
    • Each of the other sheets contains the answers to one question and their corresponding classification information.
  • User study questionnaire.
  • User study results:
    • The first sheet contains the focus times on the different views of the coding environments.
    • The second sheet contains the number of errors found by the participants.
    • The third sheet contains the raw answers to the user study questionnaire.
    • Each of the other sheets contains the answers to one question of the questionnaire and their corresponding classification information.