ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Wed 17 Jul 2019 16:50 - 17:00 at Grand Ballroom - ISSTA Tool Demonstrations

Static analysis is widely used to detect potential defects in apps. Existing analysis tools focus on specific problems and vary in supported sensitivity, which make them difficult to reuse and extend for new analysis tasks. This paper presents Androlic, a precise static analysis framework for Android which is flow, context, object, field and path-sensitive. Through configuration items and APIs provided by Androlic, developers can easily extend it to perform custom analysis tasks. Evaluation on an example program and 20 real-world apps show that Androlic can analyze apps with high precision and efficiency.

Wed 17 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-Tool-demonstrations
16:00 - 17:30: Tool Demonstration - ISSTA Tool Demonstrations at Grand Ballroom
issta-2019-Tool-demonstrations16:00 - 16:10
Talk
Cong WangTsinghua University, Jian GaoSchool of Software, Tsinghua University, Yu Jiang, Zhenchang XingAustralia National University, Huafeng Zhang, Weiliang Ying , Ming GuTsinghua University, Jiaguang Sun
issta-2019-Tool-demonstrations16:10 - 16:20
Talk
issta-2019-Tool-demonstrations16:20 - 16:30
Talk
Li ChiTsinghua University, Min ZhouTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Guang Chen, Yuexing Wang, Jiecheng WuTsinghua University, Ming GuTsinghua University
issta-2019-Tool-demonstrations16:30 - 16:40
Talk
issta-2019-Tool-demonstrations16:40 - 16:50
Talk
issta-2019-Tool-demonstrations16:50 - 17:00
Talk
Linjie PanInstitute of Software, Chinese Academy of Sciences, Baoquan Cui, Jiwei YanInstitute of Software, Chinese Academy of Sciences, Xutong Ma, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University
issta-2019-Tool-demonstrations17:00 - 17:10
Talk
Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
issta-2019-Tool-demonstrations17:10 - 17:20
Talk
Renaud Rwemalika, Marinos Kintis, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg, Pierre Lorrach
issta-2019-Tool-demonstrations17:20 - 17:30
Talk
Yuying LiState Key Laboratory for Novel Software Technology, Nanjing University, Rui HaoNanjing University, China, Yang FengUniversity of California, Irvine, James JonesUniversity of California, Irvine, Xiaofang Zhang, Zhenyu ChenNanjing University