ISSTA 2019 (series) / Tool Demonstration /
Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android
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 Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
16:00 - 17:30 | |||
16:00 10mTalk | Go-Clone: Graph-Embedding Based Clone Detector for Golang Tool Demonstration Cong WangTsinghua University, Jian GaoSchool of Software, Tsinghua University, Yu Jiang, Zhenchang XingAustralia National University, Huafeng Zhang, Weiliang Ying , Ming GuTsinghua University, Jiaguang Sun | ||
16:10 10mTalk | VFQL: Combinational Static Analysis as Query Language Tool Demonstration | ||
16:20 10mTalk | VBSAC: A Value-Based Static Analyzer for C Tool Demonstration Li ChiTsinghua University, Min ZhouTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Guang Chen, Yuexing Wang, Jiecheng WuTsinghua University, Ming GuTsinghua University | ||
16:30 10mTalk | SAFEVM: A Safety Verifier for Ethereum Smart Contracts Tool Demonstration | ||
16:40 10mTalk | CoCoTest: Collaborative Crowdsourced Testing for Android Applications Tool Demonstration | ||
16:50 10mTalk | Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android Tool Demonstration 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 | ||
17:00 10mTalk | JQF: Coverage-guided Property-based Testing in Java Tool Demonstration Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley | ||
17:10 10mTalk | Ukwikora: Continuous inspection for Keyword-Driven Testing Tool Demonstration Renaud Rwemalika, Marinos Kintis, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg, Pierre Lorrach | ||
17:20 10mTalk | CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports Tool Demonstration 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 |