Java']Java & static analysis

被引：0
|
作者：
Chaturvedi, A
机构：
来源：
DR DOBBS JOURNAL | 2005年 / 30卷 / 07期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：25 / +
页数：5
相关论文
共 50 条
  • [31] SawjaCard: A Static Analysis Tool for Certifying Java']Java Card Applications
    Besson, Frederic
    Jensen, Thomas
    Vittet, Pierre
    STATIC ANALYSIS (SAS 2014), 2014, 8723 : 51 - 67
  • [32] Static deadlock detection for Java']Java libraries
    Williams, A
    Thies, W
    Ernst, MD
    ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2005, 3586 : 602 - 629
  • [33] Effective static race detection for Java']Java
    Naik, Mayur
    Aiken, Alex
    Whaley, John
    ACM SIGPLAN NOTICES, 2006, 41 (06) : 308 - 319
  • [34] Static Identification of Injection Attacks in Java']Java
    Spoto, Fausto
    Burato, Elisa
    Ernst, Michael D.
    Ferrara, Pietro
    Lovato, Alberto
    Macedonio, Damiano
    Spiridon, Ciprian
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2019, 41 (03):
  • [35] An Evaluation of Static Java']Java Bytecode Watermarking
    Hamilton, James
    Danicic, Sebastian
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 1 - 8
  • [36] Featherweight Java']Java with dynamic and static overloading
    Bettini, Lorenzo
    Capecchi, Sara
    Venneri, Betti
    SCIENCE OF COMPUTER PROGRAMMING, 2009, 74 (5-6) : 261 - 278
  • [37] Static Resource Analysis for Java']Java Bytecode Using Amortisation and Separation Logic
    Fenacci, Damon
    MacKenzie, Kenneth
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 279 (01) : 19 - 32
  • [38] Static analysis of object references in RMI-based Java']Java software
    Sharp, Mariana
    Rountev, Atanas
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (09) : 664 - 681
  • [39] Challenges for Static Analysis of Java']Java Reflection - Literature Review and Empirical Study
    Landman, Davy
    Serebrenik, Alexander
    Vinju, Jurgen J.
    2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2017, : 507 - 518
  • [40] Static Analysis of Java']Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room
    Antoniadis, Anastasios
    Filippakis, Nikos
    Krishnan, Paddy
    Ramesh, Raghavendra
    Allen, Nicholas
    Smaragdakis, Yannis
    PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 794 - 807
12345