µDep: Mutation-based Dependency Generation for Precise Taint Analysis on Android Native Code

被引：0
|
作者：
Sun, Cong [1 ]
Ma, Yuwan [1 ]
Zeng, Dongrui [2 ]
Tan, Gang [2 ]
Ma, Siqi [3 ]
Wu, Yafei [1 ]
机构：
[1] The School of Cyber Engineering, Xidian University, China
[2] The Pennsylvania State University, United States
[3] The University of New South Wales, Australia
来源：
arXiv | 2021年
关键词：
Android - Android apps - Information flow analysis - Information flow analysis tool - Information flows - [!text type='Java']Java[!/text] Native Interfaces - Malware detection - Native code - State of the art - Static analyzers;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] μDep: Mutation-Based Dependency Generation for Precise Taint Analysis on Android Native Code
    Sun, Cong
    Ma, Yuwan
    Zeng, Dongrui
    Tan, Gang
    Ma, Siqi
    Wu, Yafei
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2023, 20 (02) : 1461 - 1475
  • [2] HashMTI: Scalable Mutation-based Taint Inference with Hash Records
    Kong, Xiangdong
    Tang, Yong
    Wang, Pengfei
    Wei, Shuning
    Yue, Tai
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2021), 2021, : 84 - 95
  • [3] Leveraging Historical Versions of Android Apps for Efficient and Precise Taint Analysis
    Cai, Haipeng
    Jenkins, John
    2018 IEEE/ACM 15TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR), 2018, : 265 - 269
  • [4] Practical Precise Taint-flow Static Analysis for Android App Sets
    Klieber, William
    Flynn, Lori
    Snavely, Will
    Zheng, Michael
    13TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY (ARES 2018), 2019,
  • [5] Systematic Mutation-Based Evaluation of the Soundness of Security-Focused Android Static Analysis Techniques
    Ami, Amit Seal
    Kafle, Kaushal
    Moran, Kevin
    Nadkarni, Adwait
    Poshyvanyk, Denys
    ACM TRANSACTIONS ON PRIVACY AND SECURITY, 2021, 24 (03)
  • [6] Test Case Generation for Mutation-based Testing of Timeliness
    Nilsson, Robert
    Offutt, Jeff
    Mellin, Jonas
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 97 - 114
  • [7] Mutation-Based Test Case Generation for Simulink Models
    Brillout, Angelo
    He, Nannan
    Mazzucchi, Michele
    Kroening, Daniel
    Purandare, Mitra
    Ruemmer, Philipp
    Weissenbacher, Georg
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 208 - +
  • [8] Mutation-Based Test-Case Generation with Ecdar
    Larsen, Kim G.
    Lorber, Florian
    Nielsen, Brian
    Nyman, Ulrik M.
    10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 319 - 328
  • [9] Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators
    Jeon, Juyoung
    Hong, Shin
    2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING ASE 2021, 2021, : 1205 - 1207
  • [10] Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs
    Li, Ziyu
    Shin, Donghwan
    arXiv,
12345