Artifact for "WhyFlow: Interrogative Debugger for Sensemaking Taint Analysis"

Read full text
Authors: Burak Yetiştiren, Hong Jin Kang, Miryung Kim
Cited by: 0

Abstract

This artifact accompanies the ICSE 2026 paper "WhyFlow: Interrogative Debugger for Sensemaking Taint Analysis." WhyFlow is an interrogative debugging tool for taint analysis that enables developers to ask why, why-not, and what-if questions about dataflows. Contents: - WhyFlow web application (Meteor-based) - Pre-computed CodeQL and Soufflé analysis results for Apache Dubbo - User study data and statistical analysis scripts - Docker environment for easy reproduction Reproduction tracks: - Track A: User study analysis (~10 minutes) - Track B: Running WhyFlow interactively (~30 minutes, includes Docker build) See replication/Experiment-Reproduction.md for detailed instructions.

Fields of Study & Subjects

Software Testing and Debugging Techniques Software Engineering Research Security and Verification in Computing

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
14 January 2026
Language
EN
Document type
Book