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 条
  • [41] BIGFOOT: Static Check Placement for Dynamic Race Detection
    Rhodes, Dustin
    Flanagan, Cormac
    Freund, Stephen N.
    ACM SIGPLAN NOTICES, 2017, 52 (06) : 141 - 156
  • [42] BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs
    Mei, Xiupei
    Wei, Zhengyuan
    Zhang, Hao
    Chan, W. K.
    2020 IEEE/ACM 15TH INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, 2020, : 71 - 80
  • [43] Enabling Static Analysis for Partial Java']Java Programs
    Dagenais, Barthelemy
    Hendren, Laurie
    ACM SIGPLAN NOTICES, 2008, 43 (10) : 313 - 328
  • [44] A generic static analyzer for multithreaded Java']Java programs
    Ferrara, P.
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (06): : 663 - 684
  • [45] Enabling Static Analysis for Partial Java']Java Programs
    Dagenais, Barthelemy
    Hendren, Laurie
    OOPSLA 2008 NASHVILLE, CONFERENCE PROCEEDINGS: MUSIC CITY USA, OOPSLA, 2008, : 313 - 328
  • [46] Hybrid dynamic data race detection
    O'Callahan, R
    Choi, JD
    ACM SIGPLAN NOTICES, 2003, 38 (10) : 166 - 177
  • [47] Eraser: A dynamic data race detector for multithreaded programs
    Savage, S
    Burrows, M
    Nelson, G
    Sobalvarro, P
    Anderson, T
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1997, 15 (04): : 391 - 411
  • [48] JS']JSFox: Integrating Static and Dynamic Type Analysis of Java']JavaScript Programs
    Tan, Tian Huat
    Xue, Yinxing
    Chen, Manman
    Liu, Shuang
    Yu, Yi
    Sun, Jun
    PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 256 - 258
  • [49] Secure Java class loading
    Sun Microsystems
    IEEE Internet Comput, 1600, 6 (56-61):
  • [50] Dl-Check: Dynamic Potential Deadlock Detection Tool for Java']Java Programs
    Koval, Nikita
    Tsitelov, Dmitry
    Elizarov, Roman
    TOOLS AND METHODS OF PROGRAM ANALYSIS, 2018, 779 : 64 - 76
12345