Static checking method of array access violation based on abstract syntax tree

被引：0
|
作者：
Software Engineering Institute, Xidian University, Xi'an 710071, China [1 ]
机构：
来源：
Jisuanji Gongcheng | 2006年 / 1卷 / 108-109+205期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Static Checking of Array Index out of Bounds Defects in C Programs Based on Taint Analysis
    Gao F.-J.
    Wang Y.
    Chen T.-J.
    Situ L.-Y.
    Wang L.-Z.
    Li X.-D.
    Ruan Jian Xue Bao/Journal of Software, 2020, 31 (10): : 2983 - 3003
  • [42] Software Model Checking Method Based on Modular Abstract-Refine Algorithm Framework
    Wang S.
    Du Y.
    Han Z.
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2020, 48 (05): : 997 - 1002
  • [43] Fairness Verification Method of Tree-based Model Based on Probabilistic Model Checking
    Wang Y.
    Hou Z.
    Huang Y.-H.
    Shi J.-Q.
    Zhang G.-L.
    Ruan Jian Xue Bao/Journal of Software, 2022, 33 (07): : 2482 - 2498
  • [44] TaintGuard: Preventing implicit privilege leakage in smart contract based on taint tracking at abstract syntax tree level
    Wu, Xiangyu
    Du, Xuehui
    Yang, Qiantao
    Liu, Aodi
    Wang, Na
    Wang, Wenjuan
    JOURNAL OF SYSTEMS ARCHITECTURE, 2023, 141
  • [45] Static pointer dereference checking method based on finite-state machine
    Zhan, Jin-Yu
    Chen, Zhong-Xiang
    Hao, Zong-Bo
    Sichuan Daxue Xuebao (Gongcheng Kexue Ban)/Journal of Sichuan University (Engineering Science Edition), 2011, 43 (04): : 135 - 142
  • [46] Static reconfiguration method of photovoltaic array based on improved competence square
    Yi, Lingzhi
    Tan, Jingxuan
    Wang, Yahui
    Luo, Bote
    Fan, Lu
    Cheng, Siyue
    PHYSICA SCRIPTA, 2024, 99 (11)
  • [47] Speeding Violation Type Prediction Based on Decision Tree Method: A Case Study in Wujiang, China
    Cheng, Zeyang
    Lu, Jian
    Zu, Zhenshan
    Li, Yunxuan
    JOURNAL OF ADVANCED TRANSPORTATION, 2019, 2019
  • [48] Research on Modeling Method of Testability Design Based on Static Automatic Fault Tree
    Zhang, Jiashuo
    Chen, Derong
    Gao, Peng
    Wang, Zepeng
    Zhang, Jingang
    PROCESSES, 2024, 12 (12)
  • [49] Fault tree analysis method based on probabilistic model checking and discrete time Markov Chain
    Gu, Ying-Kui
    Zhang, Jun
    Shen, Yan-Jun
    Fan, Chao-Jun
    JOURNAL OF INDUSTRIAL AND PRODUCTION ENGINEERING, 2019, 36 (03) : 146 - 153
  • [50] Deep Forest and Pruned Syntax Tree-Based Classification Method for Java']Java Code Vulnerability
    Ding, Jiaman
    Fu, Weikang
    Jia, Lianyin
    MATHEMATICS, 2023, 11 (02)
12345