Paper Title:
A Static Defect Checker for Interprocedural Array Bound
  Abstract

Array bound is a concealed security defect. It generally cannot be found in the compiling progress, so it is extremely easy to cause a system crash. In this paper, we describe a static array bound checker, which concentrates on the defect of interprocedural array bound. This method is achieved by using the technology of static analysis, interval arithmetic and procedure summary, so it can detect the faults before the progress running. We finally give an experiment to verify the effectiveness and the high precision of this method. The method has been applied to practical projects.

  Info
Periodical
Edited by
Helen Zhang and David Jin
Pages
808-813
DOI
10.4028/www.scientific.net/AMM.63-64.808
Citation
H. H. Chen, D. H. Jin, Y. Z. Gong, C. C. Liu, "A Static Defect Checker for Interprocedural Array Bound", Applied Mechanics and Materials, Vols. 63-64, pp. 808-813, 2011
Online since
June 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Jie Jin, Xi Kong, Lan Lan Zhao
Abstract:Using the Least Mean Square (LMS) algorithm, this paper simulates two smart antenna models under the same signal environment. By analyzing...
6
Authors: Wang Sheng Liu, Ya An Li, Lin Cui, Ming Huan Wang
Chapter 2: Optical, Electronic Materials and Industrial Application
Abstract:Due to the mutual radiation impedance may influence acoustics performance of a broadband dense plane array seriously, the expression of...
1019
Authors: Wei Ji, Qing Xie, Cheng Qiang Wang, Shan Shan Hou, Fang Cheng Lv
Chapter 7: High Voltage and Insulation Technology
Abstract:The partial discharge direction of arrival (DOA) estimation based on ultrasonic array sensor is the basic of partial discharge’s accurate...
1142
Authors: Hsin Chuan Kuo, Chao Tsung Lee, Ching Hai Lin
Chapter 11: Methods and Algorithms for Processing and Analysis of Data
Abstract:A new algorithm based orthogonal arrays was developed to determine the optimal solution amid all the optional settings for a new initiated...
2980
Authors: Jing Huang, She Yu Zhou, Pei Wen Que
Chapter 12: Inspection and Control Systems, Testing, Instrumentation and Measurement
Abstract:A novel automatic ultrasonic system used for the inspection of welds in T nodes is developed, in which a linear phased array transducer using...
1524