Static Data Race Detection for Java Programs With Dynamic Class Loading

被引：3
|
作者：
Yoshiura, Noriaki [1 ]
Wei, Wei [1 ]
机构：
[1] Department of Information and Computer Sciences, Saitama University, 255, Shimo-ookubo, Sakura-ku, Saitama, Japan
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8729卷
关键词：
D O I：
10.1007/978-3-319-11692-1_14
中图分类号：
学科分类号：
摘要：
16
引用
收藏
页码：161 / 173
相关论文
共 50 条
  • [31] An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection
    Chatarasi, Prasanth
    Shirako, Jun
    Kong, Martin
    Sarkar, Vivek
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2016, 2017, 10136 : 106 - 120
  • [32] Towards Incremental Static Race Detection in OpenMP Programs
    Swain, Bradley
    Huang, Jeff
    PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, 2018, : 33 - 41
  • [33] Static race detection of interrupt-driven programs
    Huo, Wei
    Yu, Hongtao
    Feng, Xiaobing
    Zhang, Zhaoqing
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011, 48 (12): : 2290 - 2299
  • [34] Execution Enhanced Static Detection of Android Privacy Leakage Hidden by Dynamic Class Loading
    Yang, Yufei
    Luo, Wenbo
    Pei, Yu
    Pan, Minxue
    Zhang, Tian
    2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2019, : 149 - 158
  • [35] Effective and Precise Dynamic Detection of Hidden Races for Java']Java Programs
    Cai, Yan
    Cao, Lingwei
    2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS, 2015, : 450 - 461
  • [36] Dynamic Slicing of Multithreaded Programs for Race Detection
    Tallam, Sriraman
    Tian, Chen
    Gupta, Rajiv
    2008 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2008, : 97 - 106
  • [37] Secure Java']Java class loading
    Li, G
    IEEE INTERNET COMPUTING, 1998, 2 (06) : 56 - 61
  • [38] Extracting Static and Dynamic Structural Information from Java']Java Concurrent Programs for Coverage Testing
    Prado, Rafael R.
    Souza, Paulo S. L.
    Dourado, George G. M.
    Souza, Simone R. S.
    Estrella, Julio C.
    Bruschi, Sarita M.
    Lourenco, Joao
    2015 XLI LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2015, : 667 - 674
  • [39] Accurate Static Data Race Detection for C
    Sales, Emerson
    Inverso, Omar
    Tuosto, Emilio
    FORMAL METHODS, PT I, FM 2024, 2025, 14933 : 443 - 462
  • [40] Thread-Sensitive Data Race Detection for Java
    Schulz, Stefan
    Herrendorf, Emanuel
    Bockisch, Christoph
    Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2021, 2021-December : 32 - 42
12345