Proceedings of the 2013 International Conference on Advanced Information Engineering and Education Science (ICAIEES 2013)

Research on Complicate Array Object via Region-Based Memory Model

Authors
Jing Wang, Yukun Dong, Dahai Jin, YunZhan Gong
Corresponding Author
Jing Wang
Available Online December 2013.
DOI
https://doi.org/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)

Volume Title
Proceedings of the 2013 International Conference on Advanced Information Engineering and Education Science (ICAIEES 2013)
Series
Advances in Intelligent Systems Research
Publication Date
December 2013
ISBN
978-90-78677-94-9
ISSN
1951-6851
DOI
https://doi.org/10.2991/icaiees-13.2013.57How to use a DOI?
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/).

Cite this article

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  - https://doi.org/10.2991/icaiees-13.2013.57
ID  - Wang2013/12
ER  -