Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/ICSE-C.2017.20 | ICSE (Companion Volume) |
Keywords | Field | DocType |
Static analysis,Just-in-Time,Layered analysis,Cheetah | World Wide Web,Android (operating system),Fuzz testing,Computer science,Software bug,Static analysis,Real-time computing,Software,Taint checking,Workflow,Java | Conference |
ISSN | ISBN | Citations |
2574-1926 | 978-1-5386-1590-4 | 2 |
PageRank | References | Authors |
0.36 | 10 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lisa Nguyen Quang Do | 1 | 11 | 1.22 |
Karim Ali | 2 | 190 | 12.96 |
Ben Livshits | 3 | 2108 | 123.83 |
Eric Bodden | 4 | 2017 | 107.73 |
Justin Smith | 5 | 97 | 11.74 |
Emerson R. Murphy-hill | 6 | 1284 | 74.35 |