de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
User-centered tool design for data-flow analysis / Lisa Nguyen Quang Do ; Advisors: Prof. Dr. Eric Bodden, Prof. Dr. Karim Ali. Paderborn, 2019
Inhalt
Introduction
Motivation and Research Question
Contributions and Structure of the Dissertation
Publications Details
Background
Taint Analysis
The Monotone Framework
The IFDS Framework
User-Centered Design
Identifying Tool Requirements for Analysis Developers
Related Work
Debugging Tools
Debugging Static Analysis
Survey: Debugging Tools for Static Analysis
Usage Context and Developer Motivation
Most Commonly Developed Analyses
Most Frequently Debugged Errors
Comparison with Application Code
Desirable Features for Debugging Static Analysis
Debugging Tools Used by Analysis Developers
User-Experience Issues with Current Debugging Tools
Tool Features for Debugging Analysis Code
Limitations and Threats to Validity
Summary
Debugging Data-Flow Analysis
VisuFlow, a Debugging Environment for Data-Flow Analysis
User Interface
Implementation
Evaluation
User Study: Usability of VisuFlow Compared to Eclipse
Study Results
Limitations and Threats to Validity
Summary
Identifying Tool Requirements for Software Developers
Related Work
Usability of Static Analysis Tools in Practice
Developer Motivation and Behavior
Study: Developer Behavior and Motivation
Survey of Industry Developers
Analysis Reports
Cognitive Walkthrough
Usage Context of Static Analysis Tools
Industrial Deployment of Analysis Tools
Analysis Tools in a Developer's Daily Work
Developer Motivations and Strategies
Prioritizing Warnings
Detecting False Positives
Understanding Warnings
Desirable Features of Static Analysis Tools
Tool Layout and Features
Motivation Through Gamification
Limitations and Threats to Validity
Summary
Just-in-Time Analysis for Responsiveness
Related Work
Responsiveness of Static Analysis
Warning Prioritization
Integration of Developer-Specific Knowledge in the Analysis Tool
The Just-in-Time Analysis Concept
Overview
JIT Analysis through Layering
Cheetah, a JIT Taint Analysis for Android Applications
Implementation
User Interface
Evaluation
Empirical Evaluation: Responsiveness, Understandability, Precision
Evaluation Results
User Study: Usability of Cheetah
Study Results
Limitations and Threats to Validity
Summary
Rule Graphs for Analysis Configuration
Motivating Example
Related Work
Warning Explainability and Classification
Usage of Internal Analysis Rules
Rule Graphs
Definition
Generating Rule Graphs
Applications of Rule Graphs
Warning Understandability
Warning Classification
Identification of Weak Analysis Patterns
Identification of Missing Analysis Patterns
Implementation Details
Rule Graphs
Graphical User Interface
Offline Functionalities
Evaluation
User Study: Warning Understandability
Study Results
Empirical Evaluation: Warning Classification and Pattern Detection
Evaluation Results
Limitations and Threats to Validity
Summary
Conclusion and Future Work
Bibliography
Appendices
Survey: Debugging Tools for Static Analysis
Questionnaire: VisuFlow User Study
Survey: Developer Behavior and Motivation
Questionnaire: Cheetah User Study
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.