Java']Java & static analysis

被引：0
|
作者：
Chaturvedi, A
机构：
来源：
DR DOBBS JOURNAL | 2005年 / 30卷 / 07期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：25 / +
页数：5
相关论文
共 50 条
  • [41] Comparison of Static Analysis Tools for Java']Java Using the Juliet Test Suite
    Charest, Thomas
    Rodgers, Nick
    Wu, Yan
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY (ICCWS 2016), 2016, : 431 - 438
  • [42] Detection of Java']Java Basic Thread Misuses Based on Static Event Analysis
    Cui, Baoquan
    Wang, Miaomiao
    Zhang, Chi
    Yan, Jiwei
    Yan, Jun
    Zhang, Jian
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1049 - 1060
  • [43] Static analysis of object references in RMI-based Java']Java software
    Sharp, M
    Rountev, A
    ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2005, : 101 - 110
  • [44] Unloading Java']Java classes that contain static fields
    McDowell, CE
    Baldwin, EA
    ACM SIGPLAN NOTICES, 1998, 33 (01) : 56 - 60
  • [45] Types for atomicity: Static checking and inference for Java']Java
    Flanagan, Cormac
    Freund, Stephen N.
    Lifshin, Marina
    Qadeer, Shaz
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (04):
  • [46] More Sound Static Handling of Java']Java Reflection
    Smaragdakis, Yannis
    Balatsouras, George
    Kastrinis, George
    Bravenboer, Martin
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2015, 2015, 9458 : 485 - 503
  • [47] Type Refinement for Static Analysis of Java']JavaScript
    Kashyap, Vineeth
    Sarracino, John
    Wagner, John
    Wiedermann, Ben
    Hardekopf, Ben
    ACM SIGPLAN NOTICES, 2014, 49 (02) : 17 - 26
  • [48] A generic static analyzer for multithreaded Java']Java programs
    Ferrara, P.
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (06): : 663 - 684
  • [49] Quicksilver: A quasi-static compiler for Java']Java
    Serrano, M
    Bordawekar, R
    Midkiff, S
    Gupta, M
    ACM SIGPLAN NOTICES, 2000, 35 (10) : 66 - 82
  • [50] A static study of Java']Java exceptions using JESP
    Ryder, BG
    Smith, D
    Kremer, U
    Gordon, M
    Shah, N
    COMPILER CONSTRUCTION, PROCEEDINGS, 2000, 1781 : 67 - 81
12345