Klocwork delivers source code analysis solution for avionics software

被引:0
|
作者
不详
机构
来源
关键词
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
引用
收藏
页码:374 / 375
页数:2
相关论文
共 50 条
  • [1] Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler
    Brauer, Joerg
    Dahlweid, Markus
    Pankrath, Tobias
    Peleska, Jan
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2015, 2015, 9337 : 427 - 440
  • [2] Software analysis by code clones in open source software
    Uchida, S
    Kamiya, T
    Monden, A
    Matsumoto, KI
    Ohsugi, N
    Kudo, H
    JOURNAL OF COMPUTER INFORMATION SYSTEMS, 2005, 45 (03) : 1 - 11
  • [3] Source Code Comprehension Analysis in Software Maintenance
    Al-Saiyd, Nedhal A.
    2017 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION SYSTEMS (ICCCS2017), 2017, : 1 - 5
  • [4] From Source Code Analysis to Static Software Testing
    Wang Wei
    Han Lilong
    Meng Yunxiu
    Bai He
    PROCEEDINGS OF 2014 IEEE WORKSHOP ON ADVANCED RESEARCH AND TECHNOLOGY IN INDUSTRY APPLICATIONS (WARTIA), 2014, : 1280 - 1283
  • [5] Source code transformation based on software cost analysis
    Chung, EY
    Benini, L
    De Micheli, G
    ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2001, : 153 - 158
  • [6] Code quality analysis in open source software development
    Stamelos, I
    Angelis, L
    Oikonomou, A
    Bleris, GL
    INFORMATION SYSTEMS JOURNAL, 2002, 12 (01) : 43 - 60
  • [7] Software source code, visual risk analysis: an example
    van der Merwe, G
    Eloff, JHP
    COMPUTERS & SECURITY, 1998, 17 (03) : 233 - 252
  • [8] HPC System Software Enhanced by Source Code Analysis
    Zhai, Jidong
    PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON RUNTIME AND OPERATING SYSTEMS FOR SUPERCOMPUTERS (ROSS'19), 2019, : 1 - 1
  • [9] Image analysis and error detection in source software code
    Skuratova, K. A.
    Shelepin, E. Yu
    Malashin, R. O.
    Shelepin, Yu E.
    JOURNAL OF OPTICAL TECHNOLOGY, 2022, 89 (08) : 476 - 483
  • [10] Using automated source code analysis for software evolution
    Burd, L
    Rank, S
    FIRST IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2001, : 204 - 210