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 条
  • [1] Safe process state upgrades through static analysis
    Ferenczi, Daniel
    Toth, Melinda
    18TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS, SACI 2024, 2024, : 351 - 356
  • [2] An Application of Interval Analysis in Software Static Analysis
    Wang, Yawen
    Gong, Yunzhan
    Chen, Junliang
    Xiao, Qing
    Yang, Zhaohong
    EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 2, WORKSHOPS, 2008, : 367 - 372
  • [3] Evaluation of Static Analysis Tools for Software Security
    AlBreiki, Hamda Hasan
    Mahmoud, Qusay H.
    2014 10TH INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION TECHNOLOGY (IIT), 2014, : 93 - 98
  • [4] Detecting Software Vulnerabilities in Android Using Static Analysis
    Dhaya, R.
    Poongodi, M.
    2014 INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION CONTROL AND COMPUTING TECHNOLOGIES (ICACCCT), 2014, : 915 - 918
  • [5] Evaluating Static Analysis Defect Warnings On Production Software
    Ayewah, Nathaniel
    Pugh, William
    Morgenthaler, J. David
    Penix, John
    Zhou, YuQian
    PASTE'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN- SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS & ENGINEERING, 2007, : 1 - +
  • [6] Finding Cuts in Static Analysis Graphs to Debloat Software
    Blumschein, Christoph
    Niephaus, Fabio
    Stancu, Codrut
    Wimmer, Christian
    Lincke, Jens
    Hirschfeld, Robert
    PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, 2024, : 603 - 614
  • [7] Static Analysis of Lyee Requirements for Legacy System Software
    Fujita, Hamido
    Mejri, Mohameed
    IPSI BGD TRANSACTIONS ON INTERNET RESEARCH, 2005, 1 (01): : 3 - 10
  • [8] A Scheme of Feasibility with Static Analysis in Software Testing Environment
    Lu, ManSha
    ADVANCES IN MULTIMEDIA, SOFTWARE ENGINEERING AND COMPUTING, VOL 1, 2011, 128 : 69 - 73
  • [9] A method of software maintainability evaluation based on static analysis
    Zhang, Wei
    Ma, Zhenyu
    Lu, Qingling
    Wang, Xiaozhen
    Liu, Dawei
    MATERIAL SCIENCE, CIVIL ENGINEERING AND ARCHITECTURE SCIENCE, MECHANICAL ENGINEERING AND MANUFACTURING TECHNOLOGY II, 2014, 651-653 : 1757 - +
  • [10] Medical Software Bug Prediction Based on Static Analysis
    Gou, XiaoDong
    Zhou, Xin
    Pang, JiaWen
    Yang, ShunKun
    IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, : 5460 - 5464
12345