Research on Complicate Array Object via Region-Based Memory Model

DOI

10.2991/icaiees-13.2013.57How to use a DOI?

Keywords

array object, memory model, static analysis, region-based

Abstract

Array is widely used in software development, but in static analysis, array cannot be perfectly processed. There exists a series of problems, such as incompletely representation of the associations of different memory units. In this paper, a memory model Symbolic Region Model (SRM) is proposed. It can describe the shape of array objects, different kinds of memory states of array object and relations of array variables. The relations include alias relations, hierarchical relations inside a array object and logic relations between array and pointer variables. Then to improve the precision of array object analysis, a SRM based analysis method is proposed, which is flow sensitive, field sensitive and context sensitive, to analyze the shape, dataflow and point-to relationship at every procedure point. According to the experimental results of a large number of open source projects, the method proposed in this paper can improve the accuracy to process array in the interval computation of static analysis.

Copyright

© 2013, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Jing Wang
AU  - Yukun Dong
AU  - Dahai Jin
AU  - YunZhan Gong
PY  - 2013/12
DA  - 2013/12
TI  - Research on Complicate Array Object via Region-Based Memory Model
BT  - Proceedings of the 2013 International Conference on Advanced Information Engineering and Education Science (ICAIEES 2013)
PB  - Atlantis Press
SP  - 211
EP  - 214
SN  - 1951-6851
UR  - https://doi.org/10.2991/icaiees-13.2013.57
DO  - 10.2991/icaiees-13.2013.57
ID  - Wang2013/12
ER  -