Volume 8 Number 7 (Jul. 2013)
Home > Archive > 2013 > Volume 8 Number 7 (Jul. 2013) >
JSW 2013 Vol.8(7): 1592-1603 ISSN: 1796-217X
doi: 10.4304/jsw.8.7.1592-1603

Field-sensitive Function Pointer Analysis Using Field Propagation for State Graph Extraction

Bo Huang, Xiang Ling, Guoqing Wu
Computer School of Wuhan University, Wuhan 430072, China

Abstract—Accurate state graph is important to static program analysis. In order to extract reliable state graphs from programs, which contains function pointers, for model analysis in software engineering, we proposed a field-sensitive may-alias analysis using field propagation, which tries to discover deeply implied aliasing relations by propagating the aliases to variables from their nested structures. For the high complexity of alias analysis, several optimizations are proposed for performance with the price of potentially losing few aliases. Unlike Most previous works which adopted various kinds of approximations that would compromise the reliability of the results, our field-propagation analyzer makes sure that the solutions of queried pointers are sound in a flow-insensitive manner, because none of our adopted optimizations would bring in approximation to the results.

Index Terms—Function Pointer Analysis, May-alias, Demand Driven, Field Propagation.

[PDF]

Cite: Bo Huang, Xiang Ling, Guoqing Wu, "Field-sensitive Function Pointer Analysis Using Field Propagation for State Graph Extraction," Journal of Software vol. 8, no. 7, pp. 1592-1603, 2013.

General Information

ISSN: 1796-217X (Online)
Frequency:  Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKI, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Nov 18, 2021 News!

    Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP   [Click]

  • Nov 18, 2021 News!

    The papers published in Vol 17, No 1 have all received dois from Crossref     [Click]

  • Nov 18, 2021 News!

    [CFP] 2022 the annual meeting of JSW Editorial Board, ICCSM 2022, will be held in Rome, Italy, July 21-23, 2022   [Click]

  • Nov 18, 2021 News!

    Vol 17, No 1 has been published with online version      [Click]