Java']Java & static analysis

被引：0
|
作者：
Chaturvedi, A
机构：
来源：
DR DOBBS JOURNAL | 2005年 / 30卷 / 07期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：25 / +
页数：5
相关论文
共 50 条
  • [21] Static analysis for computing escapability and mutability for Java']Java components
    Shi, AW
    Naumovich, G
    FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 119 - 128
  • [22] Improving the Security of Downloadable Java']Java Applications With Static Analysis
    Cregut, Pierre
    Alvarado, Cuihtlauac
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (01) : 129 - 144
  • [23] Static Path Conditions for Java']Java
    Hammer, Christian
    Schaade, Ruediger
    Snelting, Gregor
    PLAS'08: PROCEEDINGS OF THE ACM SIGPLAN THIRD WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2008, : 57 - 66
  • [24] Extended static checking for Java']Java
    Nelson, G
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2004, 3125 : 1 - 1
  • [25] A static Java']Java classfile analyzer
    Jung, MS
    Kim, DW
    Park, KS
    Jin, M
    Kim, WW
    Lee, SC
    Kang, JB
    PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING, VOL I, 2000, : 468 - 472
  • [26] Extended Static Checking for Java']Java
    Flanagan, Cormac
    Leino, K. Rustan M.
    Lillibridge, Mark
    Nelson, Greg
    Saxe, James B.
    Stata, Raymie
    ACM SIGPLAN NOTICES, 2013, 48 (04) : 22 - 33
  • [27] The Julia Static Analyzer for Java']Java
    Spoto, Fausto
    STATIC ANALYSIS, (SAS 2016), 2016, 9837 : 39 - 57
  • [28] Extended static checking for Java']Java
    Flanagan, C
    Leino, KRM
    Lillibridge, M
    Nelson, G
    Saxe, JB
    Stata, R
    ACM SIGPLAN NOTICES, 2002, 37 (05) : 234 - 245
  • [29] A Comparative Analysis of Static and Dynamic Java']Java Bytecode Watermarking Algorithms
    Kumar, Krishan
    Kaur, Prabhpreet
    SOFTWARE ENGINEERING (CSI 2015), 2019, 731 : 319 - 334
  • [30] CIL to Java']Java-bytecode Translation for Static Analysis Leveraging
    Ferrara, Pietro
    Cortesi, Agostino
    Spoto, Fausto
    2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 40 - 49
12345