Software engineer

VisuFlow

VisuFlow is a debugging environment designed to support static analysis writers understand and debug an analysis. It is written as an Eclipse plugin, and supports static data-flow analyses written on top of the Soot analysis framework.

In more recent research, we have looked into how to make incremental static analysis for changes on the analysis code rather than the analysed code. Stay tuned for more!

project-debugging.png

Artifacts

  • 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.

Publications