Research on Complicate Array Object via Region-Based Memory Model
- https://doi.org/10.2991/icaiees-13.2013.57How to use a DOI?
- array object, memory model, static analysis, region-based
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.
- © 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 -