Shape analysis for low-level code

被引：0
|
作者：
Yang, Hongseok [1 ]
机构：
[1] Seoul Natl Univ, Seoul 151, South Korea
来源：
STATIC ANALYSIS, PROCEEDINGS | 2006年 / 4134卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：280 / 280
页数：1
相关论文
共 50 条
  • [1] THE VERIFICATION OF LOW-LEVEL CODE
    CLUTTERBUCK, DL
    CARRE, BA
    [J]. SOFTWARE ENGINEERING JOURNAL, 1988, 3 (03): : 97 - 111
  • [2] Analysis of low-level code using cooperating decompilers
    Chang, Bor-Yuh Evan
    Harren, Matthew
    Necula, George C.
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2006, 4134 : 318 - 335
  • [3] Shape Analysis of Low-Level C with Overlapping Structures
    Kreiker, Joerg
    Seidl, Helmut
    Vojdani, Vesal
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2010, 5944 : 214 - 230
  • [4] A framework for static analysis and verification of low-level RTOS code
    Manjunath, Vignesh
    Baunach, Marcel
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2024, 154
  • [5] A Scalable Memory Model for Low-Level Code
    Rakamaric, Zvonimir
    Hu, Alan J.
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2009, 5403 : 290 - 304
  • [6] Achieving type safety for low-level code
    Morrisett, G
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 1 - 2
  • [7] Mechanized, Compositional Verification of Low-Level Code
    Bartels, Bjoern
    Jaehnig, Nils
    [J]. NASA FORMAL METHODS, NFM 2014, 2014, 8430 : 98 - 112
  • [8] Achieving type safety for low-level code
    Morrisett, Greg
    [J]. Lect. Notes Comput. Sci., 1600, (1-2):
  • [9] Achieving type safety for low-level code
    Morrisett, G
    [J]. ADVANCES IN COMPUTING SCIENCE - ASIAN 2003: PROGRAMMING LANGUAGES AND DISTRIBUTED COMPUTATION, 2003, 2896 : 1 - 2
  • [10] Algebraic Matching of Vulnerabilities in a Low-Level Code
    Letychevskyi, Oleksandr
    Hryniuk, Yaroslav
    Yakovlev, Viktor
    Peschanenko, Volodymyr
    Radchenko, Viktor
    [J]. ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2019, 11 (03): : 1 - 7
12345