Debugging Static Analysis

Debugging Static Analysis

Citation Author(s):
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
Submitted by:
Lisa Nguyen Quang Do
Last updated:
Thu, 11/08/2018 - 10:34
DOI:
10.21227/H20W9Q
Data Format:
License:
Dataset Views:
58
Share / Embed Cite
Abstract: 

 

Static analysis is increasingly used by companies and individual code developers to detect bugs and security vulnerabilities. As programs grow more complex, the analyses have to support new code concepts, frameworks and libraries. However, static-analysis code itself is also prone to bugs. While more complex analyses are written and used in production systems every day, the cost of debugging and fixing them also increases tremendously.

VisuFlow (https://arxiv.org/abs/1801.04894) is a debugging environment for static analysis. It contains debugging features specialized for debugging static, data-flow analyses that were obtained from a large-scale survey on 115 static analysis writers. In a user study on 20 static-analysis writers, VISUFLOW helped identify 25% and fix 50% more errors in the analysis code compared to the standard Eclipse debugging environment.

This dataset contains the survey questions, user study questionnaire, anonymized survey answers and anonymized user study observations.

 

 

Instructions: 

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. This dataset contains two .pdf files and two .xlsx files. The data can also be found here: https://blogs.uni-paderborn.de/sse/tools/visuflow-debugging-static-analysis/

  • Survey questions (.pdf)
  • Survey results (.xlsx):
    • 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 (.pdf)
  • User study results (.xlsx):
    • 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.

Dataset Files

You must be an IEEE Dataport Subscriber to access these files. Login or subscribe now. Sign up to be a Beta Tester and receive a coupon code for a free subscription to IEEE DataPort!

Embed this dataset on another website

Copy and paste the HTML code below to embed your dataset:

Share via email or social media

Click the buttons below:

facebooktwittermailshare
[1] Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden, "Debugging Static Analysis", IEEE Dataport, 2018. [Online]. Available: http://dx.doi.org/10.21227/H20W9Q. Accessed: Dec. 07, 2019.
@data{h20w9q-18,
doi = {10.21227/H20W9Q},
url = {http://dx.doi.org/10.21227/H20W9Q},
author = {Lisa Nguyen Quang Do; Stefan Krüger; Patrick Hill; Karim Ali; Eric Bodden },
publisher = {IEEE Dataport},
title = {Debugging Static Analysis},
year = {2018} }
TY - DATA
T1 - Debugging Static Analysis
AU - Lisa Nguyen Quang Do; Stefan Krüger; Patrick Hill; Karim Ali; Eric Bodden
PY - 2018
PB - IEEE Dataport
UR - 10.21227/H20W9Q
ER -
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden. (2018). Debugging Static Analysis. IEEE Dataport. http://dx.doi.org/10.21227/H20W9Q
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden, 2018. Debugging Static Analysis. Available at: http://dx.doi.org/10.21227/H20W9Q.
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden. (2018). "Debugging Static Analysis." Web.
1. Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden. Debugging Static Analysis [Internet]. IEEE Dataport; 2018. Available from : http://dx.doi.org/10.21227/H20W9Q
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden. "Debugging Static Analysis." doi: 10.21227/H20W9Q