Publikationen

Autor	Nguyen Quang Do, Lisa; Ali, Karim; Livshits, Benjamin; Bodden, Eric; Smith, Justin; Murphy-Hill, Emerson
Datum	2017
Art	Conference Proceedings
Abstrakt	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.
ISBN	978-1-5386-1589-8
In	2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), p.39-42
Publisher	Curran Associates, Inc.
Schlüssel	TUD-CS-2017-0220
Url	https://tubiblio.ulb.tu-darmstadt.de/id/eprint/98125

Cheetah: Just-in-Time Taint Analysis for Android Apps