Static analysis for safe software upgrade

被引：0
|
作者：
Ferencz, Daniel [1 ]
Toth, Melinda [1 ]
机构：
[1] Eotvos Lorand Univ, Budapest, Hungary
来源：
ANNALES MATHEMATICAE ET INFORMATICAE | 2023年 / 58卷
关键词：
Erlang; static analysis; software upgrade; hot code load;
D O I：
10.33039/ami.2023.08.010
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Having applications accessible without downtime is no longer an exclusive requirement of mission-critical applications or traditional domains like communications. Running applications also require changes in the source code and upgrading live systems. Different approaches exist depending on the used technology. Systems implemented in Erlang can take the advantage of the underlying BEAM virtual machine and can be upgraded easily. However, source code has to be developed carefully once an upgrade is needed to not introduce run-time errors during the upgrade. We are developing a method to statically check the source code of Erlang applications for constructs that may lead to upgrading issues.
引用
收藏
页码：9 / 19
页数：11
相关论文
共 50 条
  • [21] Security Vulnerability Assessment for Software Version Upgrade
    Treetippayaruk, Sirikwan
    Senivongse, Twittie
    2017 18TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNDP 2017), 2017, : 283 - 289
  • [22] Software Security Static Analysis False Alerts Handling Approaches
    Akremi, Aymen
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2021, 12 (11) : 702 - 711
  • [23] SoftWare IMmunization (SWIM) - A Combination of Static Analysis and Automatic Testing
    Li, J. Jenny
    Palframan, John
    Landwehr, Jim
    2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 656 - 661
  • [24] Automatic mapping of configuration options in software using static analysis
    Wang, Junyong
    Baker, Thar
    Zhou, Yingnan
    Awad, Ali Ismail
    Wang, Bin
    Zhu, Yongsheng
    JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2022, 34 (10) : 10044 - 10055
  • [25] QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines
    Kerneis, Gabriel
    Shepherd, Charlie
    Hajnoczi, Stefan
    PEPM '14: PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2014, : 83 - 94
  • [26] A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities
    Hanna, Aiman
    Ling, Hai Zhou
    Yang, XiaoChun
    Debbabi, Mourad
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 2, 2009, 5871 : 815 - 832
  • [27] Research on the Static Analysis Method of the Localization Embedded Platform Software Code
    Gao, Zhijie
    Lu, Ling
    Jiao, Wen
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING FOR MECHANICS AND MATERIALS, 2016, 97 : 621 - 626
  • [28] Hybrid Analysis of the Decision-Making Factors for Software Upgrade Based on the Integration of AHP and DEMATEL
    Kim, Dosung
    Kim, Mi
    SYMMETRY-BASEL, 2022, 14 (01):
  • [29] Secure Mobile Software Development with Vulnerability Detectors in Static Code Analysis
    Meng, Xianyong
    Qian, Kai
    Lo, Dan
    Bhattacharya, Prabir
    Wu, Fan
    2018 INTERNATIONAL SYMPOSIUM ON NETWORKS, COMPUTERS AND COMMUNICATIONS (ISNCC 2018), 2018,
  • [30] THE SOFTWARE UPGRADE SYSTEM IN HETEROGENEOUS ENVIRONMENT BASED ON ICE
    Liu, Di
    Gao, Qiang
    2013 10TH INTERNATIONAL COMPUTER CONFERENCE ON WAVELET ACTIVE MEDIA TECHNOLOGY AND INFORMATION PROCESSING (ICCWAMTIP), 2013, : 245 - 250
12345