Show simple item record

dc.contributor.authorGuo, C
dc.contributor.authorYe, Q
dc.contributor.authorDong, N
dc.contributor.authorBai, G
dc.contributor.authorDong, JS
dc.contributor.authorXu, J
dc.contributor.editorWang H. and Makhtari M.
dc.date.accessioned2017-10-26T03:18:44Z
dc.date.available2017-10-26T03:18:44Z
dc.date.issued2016
dc.identifier.isbn9781509055272
dc.identifier.doi10.1109/ICECCS.2016.041
dc.identifier.urihttp://hdl.handle.net/10072/172930
dc.description.abstractThe heavy use of event-callback mechanism in frameworks like Android causes challenges for static analysis. Modelling of callback mechanisms for Android applications (app for short) is becoming a major method to address such challenges. In this work, we aim to construct a generic callback-related model that supports path-sensitive analysis. We consider three unresolved challenges in the existing modelling approaches: 1) building connections between different components; 2) identifying path-sensitive conditions; 3) handling the system-driven callbacks and fine-grained lifecycle callbacks. We propose algorithms for constructing a generic path-sensitive callback model and present a prototype model constructor, AndroChecker, to validate our approach. We evaluate 20 real-world apps using AndroChecker. The evaluation result shows that our method and tool have a strong capability in modelling path conditions and inter-component invocations.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherIEEE - Institute of Electrical and Electronics Engineers
dc.publisher.placeUnited States of America
dc.relation.ispartofconferencenameICECCS 2016
dc.relation.ispartofconferencetitleProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
dc.relation.ispartofdatefrom2016-11-06
dc.relation.ispartofdateto2016-11-08
dc.relation.ispartoflocationDubai, United Arab Emirates
dc.relation.ispartofpagefrom231
dc.relation.ispartofpageto234
dc.relation.ispartofedition1st
dc.relation.ispartofvolume0
dc.subject.fieldofresearchSoftware engineering not elsewhere classified
dc.subject.fieldofresearchcode461299
dc.titleAutomatic Construction of Callback Model for Android Application
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record