Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)

Eric Bodden , Johannes Späth , Lisa Nguyen Quang Do , Karim Ali
DARTS - Dagstuhl Artifacts Series 2 2

2016
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java

Eric Bodden , Johannes Späth , Lisa Nguyen Quang Do , Karim Ali
european conference on object-oriented programming 26

44
2016
Toward a Just-in-Time Static Analysis

Eric Bodden , Benjamin Livshits , Lisa Nguyen Quang Do , Karim Ali

1
2015
Debugging Static Analysis

Eric Bodden , Stefan Krüger , Lisa Nguyen Quang Do , Karim Ali
arXiv: Software Engineering

1
2018
Explainable Static Analysis

Eric Bodden , Lisa Nguyen Quang Do
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. 205 -208

1
2018
Why Can't Johnny Fix Vulnerabilities: A Usability Evaluation of Static Analysis Tools for Security

Justin Smith , Lisa Nguyen Quang Do , Emerson Rex Murphy-Hill
symposium on usable privacy and security 221 -238

33
2020
Codebase-adaptive detection of security-relevant methods

Goran Piskachev , Lisa Nguyen Quang Do , Eric Bodden
international symposium on software testing and analysis 181 -191

2
2019
Explaining Static Analysis - A Perspective

Marcus Nachtigall , Lisa Nguyen Quang Do , Eric Bodden
automated software engineering 29 -32

2019
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods

Goran Piskachev , Lisa Nguyen Quang Do , Oshando Johnson , Eric Bodden
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) 1094 -1097

2019
Explaining Static Analysis with Rule Graphs

Lisa Nguyen Quang Do , Eric Bodden
IEEE Transactions on Software Engineering 1 -1

2020
Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations

Lisa Nguyen Quang Do , James Wright , Karim Ali
IEEE Transactions on Software Engineering 1 -1

32
2020
VISUFLOW: a debugging environment for static analyses

Lisa Nguyen Quang Do , Stefan Krüger , Patrick Hill , Karim Ali
international conference on software engineering 89 -92

4
2018
Cheetah: just-in-time taint analysis for Android apps

Lisa Nguyen Quang Do , Karim Ali , Benjamin Livshits , Eric Bodden
international conference on software engineering 39 -42

6
2017
Toward an automated benchmark management system

Lisa Nguyen Quang Do , Michael Eichberg , Eric Bodden
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis 13 -17

4
2016
Just-in-time static analysis

Lisa Nguyen Quang Do , Karim Ali , Benjamin Livshits , Eric Bodden
international symposium on software testing and analysis 307 -317

30
2017
Gamifying static analysis

Lisa Nguyen Quang Do , Eric Bodden
foundations of software engineering 714 -718

1
2018
Why Can’t Johnny Fix Vulnerabilities

Justin Smith , Lisa Nguyen Quang Do , Emerson Murphy-Hill

Debugging Static Analysis

Lisa Nguyen Quang Do , Stefan Krüger , Patrick Hill , Karim Ali
arXiv e-prints arXiv: 1801.04894 -arXiv: 1801.04894

2018
Designing UIs for static-analysis tools

Daniil Tiganov , Lisa Nguyen Quang Do , Karim Ali
Communications of the ACM 65 ( 2) 52 -58

4
2022
Designing UIs for Static Analysis Tools: Evaluating tool design guidelines with SWAN

Daniil Tiganov , Lisa Nguyen Quang Do , Karim Ali
Queue 19 ( 4) 97 -118

3
2021