A Static Defect Checker for Interprocedural Array Bound

Abstract:

Article Preview

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 et al., "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:

$35.00

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

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