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 条
  • [31] Dosimetric validation of Acuros® XB algorithm for RapidArc™ treatment technique: A post software upgrade analysis
    Kumar, Lalit
    Bhushan, Manindra
    Kishore, Vimal
    Yadav, Girigesh
    Gurjar, Om Prakash
    JOURNAL OF CANCER RESEARCH AND THERAPEUTICS, 2021, 17 (06) : 1491 - 1498
  • [32] Improving software security with static automated code analysis in an industry setting
    Baca, Dejan
    Carlsson, Bengt
    Petersen, Kai
    Lundberg, Lars
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (03) : 259 - 279
  • [33] IoT Software Upgrade Scheme Based on Block Chain
    Du, Jian
    Zhen, Ping
    Tu, Yin-zi
    Gan, Jie
    INTERNATIONAL CONFERENCE ON MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY (ICMEIT 2018), 2018, : 357 - 363
  • [34] Research on Software Upgrade in a Large-scale Network
    Li, Jiaqi
    Liao, Xiangke
    Ma, Jun
    PROCEEDINGS OF 2017 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATIONS (ICCC), 2017, : 2494 - 2498
  • [35] On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises
    Gleirscher, Mario
    Golubitskiy, Dmitriy
    Irlbeck, Maximilian
    Wagner, Stefan
    SOFTWARE QUALITY: PROCESS AUTOMATION IN SOFTWARE DEVELOPMENT, 2012, 94 : 14 - +
  • [36] AWE: Improving Software Analysis through Modular Integration of Static and Dynamic Analyses
    Brown, Ruben E.
    Khazan, Roger
    Zhivich, Michael
    PASTE'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN- SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS & ENGINEERING, 2007, : 69 - 74
  • [37] A Comparative Study of Static Analysis Tools for AUTOSAR Automotive Software Components Development
    Imparato, Alfredo
    Maietta, Raffaele Rodolfo
    Scala, Stefano
    Vacca, Vladimiro
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 65 - 68
  • [38] Static Analysis and Improvement Opportunities for Open Source of UAV Flight Control Software
    Jang, Jeong-hoon
    Kang, Yu-sun
    Lee, Ji-hyun
    JOURNAL OF THE KOREAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, 2021, 49 (06) : 473 - 480
  • [39] Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software
    Braga, Alexandre
    Dahab, Ricardo
    Antunes, Nuno
    Laranjeiro, Nuno
    Vieira, Marco
    IEEE TRANSACTIONS ON RELIABILITY, 2019, 68 (04) : 1384 - 1403
  • [40] Software quality through the eyes of the end-user and static analysis tools
    Srisopha, Kamonphop
    Alfayez, Reem
    2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON SOFTWARE QUALITIES AND THEIR DEPENDENCIES (SQUADE), 2018, : 1 - 4
12345