Entry Emami:1994:CSI from sigplan1990.bib

Last update: Thu Apr 12 03:37:15 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Emami:1994:CSI,
  author =       "Maryam Emami and Rakesh Ghiya and Laurie J. Hendren",
  title =        "Context-sensitive interprocedural points-to analysis
                 in the presence of function pointers",
  journal =      j-SIGPLAN,
  volume =       "29",
  number =       "6",
  pages =        "242--256",
  month =        jun,
  year =         "1994",
  CODEN =        "SINODQ",
  DOI =          "http://doi.acm.org/10.1145/178243.178264",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Wed Jun 18 16:26:55 MDT 2008",
  bibsource =    "http://portal.acm.org/",
  abstract =     "This paper reports on the design, implementation, and
                 empirical results of a new method for dealing with the
                 aliasing problem in C. The method is based on
                 approximating the points-to relationships between
                 accessible stack locations, and can be used to generate
                 alias pairs, or used directly for other analyses and
                 transformations. Our method provides context-sensitive
                 interprocedural information based on analysis over
                 invocation graphs that capture all calling contexts
                 including recursive and mutually-recursive calling
                 contexts. Furthermore, the method allows the smooth
                 integration for handling general function pointers in
                 C. We illustrate the effectiveness of the method with
                 empirical results from an implementation in the McCAT
                 optimizing/parallelizing C compiler.",
  acknowledgement = ack-nhfb,
}

Related entries