Intraj: An On-Demand Framework for Intraprocedural Java Code Analysis

被引:0
|
作者
Riouak, Idriss [1 ]
Hedin, Görel [1 ]
Fors, Niklas [1 ]
Reichenbach, Christoph [1 ]
机构
[1] Lund University, Ole Römers väg 3, Lund,223 63, Sweden
来源
SSRN | 2023年
关键词
Engineering Village;
D O I
暂无
中图分类号
学科分类号
摘要
Attribute grammars - Bug detection - Control-flow analysis - Demand evaluation - Java code analysis - Java compilers - Lazy evaluation - On demands - On-demand evaluation - Program analysis
引用
收藏
相关论文
共 50 条
  • [31] Enhanced bandwidth reconfiguration for On-Demand QoS path framework
    Seleem, Mohammed S.
    Fahmy, Hossam M. A.
    Osman, Hossam
    Shahein, Hussein I.
    [J]. 2006 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS, 2006, : 300 - +
  • [32] An Integrated Dynamic Resource Scheduling Framework in On-Demand Clouds
    Xu, Lei
    Wang, Zonghui
    Chen, Wenzhi
    [J]. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2014, 30 (05) : 1537 - 1552
  • [33] Hierarchical and On-Demand Attack Defence Framework for IoT Devices
    Sudhakaran, Pradeep
    Kaliyaperumal, Manikannan
    Senthilkumar, T.
    Jeya, R.
    Sowmiya, B.
    [J]. WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 2022
  • [34] On-Demand Business Rule Management Framework for SaaS Application
    Zhang, Xiuwei
    He, Keqing
    Wang, Jian
    Wang, Chong
    Li, Zheng
    [J]. CLOUD COMPUTING AND SERVICES SCIENCE, CLOSER 2012, 2013, 367 : 135 - 150
  • [35] CartoService: A Web Service Framework for Quality On-Demand Geovisualisation
    Engemaier, Rita
    Asche, Hartmut
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2011, PT I, 2011, 6782 : 329 - 341
  • [36] A framework for the establishment of inter-domain, on-demand VPNs
    Matos, Alexandre
    Matos, Fernando
    Simoes, Paulo
    Monteiro, Edmundo
    [J]. 2008 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, VOLS 1 AND 2, 2008, : 232 - 239
  • [37] Recommendation Based on Java']Java Code Analysis and Search
    Fu, Shanqing
    Li, Bing
    Cai, Yi
    Liu, Zhuang
    Guo, Junxia
    [J]. FUZZY SYSTEMS AND DATA MINING VI, 2020, 331 : 514 - 521
  • [38] Hybrid Technique for Complexity Analysis for Java']Java Code
    Al-Batah, Mohammad Subhi
    Alhindawi, Nouh
    Malkawi, Rami
    Al Zuraiqi, Ahmad
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE INNOVATION, 2019, 7 (03) : 118 - 133
  • [39] Decker: A.ack Surface Reduction via On-Demand Code Mapping
    Porter, Chris
    Khan, Sharjeel
    Pande, Santosh
    [J]. PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 2, ASPLOS 2023, 2023, : 192 - 206
  • [40] A UNIFIED WEB-BASED FRAMEWORK FOR JAVA']JAVA CODE ANALYSIS AND EVOLUTIONARY AUTOMATIC TEST-CASES GENERATION
    Sofokleous, Anastasis A.
    Petsas, Panagiotis
    Andreou, Andreas S.
    [J]. ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1: DATABASES AND INFORMATION SYSTEMS INTEGRATION, 2010, : 407 - 410