ERA

No preview available

Analytics

Share

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Dataverse Datasets

Collections

This file is not currently in any collections.

Just-in-Time Static Analysis Open Access

Descriptions

Author or creator
Nguyen, Lisa
Ali, Karim
Livshits, Ben
Bodden, Eric
Smith, Justin
Murphy-Hill, Emerson
Additional contributors
Subject/Keyword
taint analysis
android
analysis tools
just-in-time
static analysis
Type of item
Dataset
Language
Identifier
https://dx.doi.org/doi:10.7939/DVN/10859  

Place
Time
Description

This item is a resource in the University of Alberta Libraries' Dataverse Network. Access this item in Dataverse by clicking on the DOI link.

We present the concept of Just-In-Time (JIT) static analysis that interleaves code development and bug fixing in an integrated development environment. Unlike traditional static analysis tools, a JIT analysis tool presents warnings to code developers over time, providing the most relevant results quickly, and computing less relevant results incrementally later. We describe general guidelines for designing JIT analyses. We also present a general recipe for turning static data- flow analyses into JIT analyses through a concept of layered analysis execution illustrated through Cheetah, a JIT taint analysis for Android applications. Our empirical evaluation of Cheetah on real-world applications shows that our approach returns warnings quickly enough to avoid disrupting a developer’s workflow, a finding confirmed by developers in our user study.

Date created
2016-08
DOI
License information
Rights

Citation for previous publication

Source
Link to related item
Publisher
Lisa Nguyen

File Details

Date Uploaded
Date Modified
2016-09-16T16:32:20.207+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
not yet characterized
Activity of users you follow
User Activity Date