TY - GEN
T1 - Cheetah
T2 - 39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017
AU - Do, Lisa Nguyen Quang
AU - Ali, Karim
AU - Livshits, Benjamin
AU - Bodden, Eric
AU - Smith, Justin
AU - Murphy-Hill, Emerson
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/6/30
Y1 - 2017/6/30
N2 - Current static-analysis tools are often long-running, which causes them to be sidelined into nightly build checks. As a result, developers rarely use such tools to detect bugs when writing code, because they disrupt their workflow. In this paper, we present Cheetah, a static taint analysis tool for Android apps that interleaves bug fixing and code development in the Eclipse integrated development environment. Cheetah is based on the novel concept of Just-in-Time static analysis that discovers and reports the most relevant results to the developer fast, and computes the more complex results incrementally later. Unlike traditional batch-style static-analysis tools, Cheetah causes minimal disruption to the developer's workflow. This video demo showcases the main features of Cheetah: https://www.youtube.com/watch?v=i-KQD-GTBdA.
AB - Current static-analysis tools are often long-running, which causes them to be sidelined into nightly build checks. As a result, developers rarely use such tools to detect bugs when writing code, because they disrupt their workflow. In this paper, we present Cheetah, a static taint analysis tool for Android apps that interleaves bug fixing and code development in the Eclipse integrated development environment. Cheetah is based on the novel concept of Just-in-Time static analysis that discovers and reports the most relevant results to the developer fast, and computes the more complex results incrementally later. Unlike traditional batch-style static-analysis tools, Cheetah causes minimal disruption to the developer's workflow. This video demo showcases the main features of Cheetah: https://www.youtube.com/watch?v=i-KQD-GTBdA.
KW - Cheetah
KW - Just-in-Time
KW - Layered analysis
KW - Static analysis
UR - http://www.scopus.com/inward/record.url?scp=85026785213&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85026785213&partnerID=8YFLogxK
U2 - 10.1109/ICSE-C.2017.20
DO - 10.1109/ICSE-C.2017.20
M3 - Conference contribution
AN - SCOPUS:85026785213
T3 - Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017
SP - 39
EP - 42
BT - Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 20 May 2017 through 28 May 2017
ER -