Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses

BibTeX entry:

% Auto-generated by the Aristotle Publications Database on Thu Jul 24 23:43:58 EDT 2014
% URL = http://www.cc.gatech.edu/aristotle/Publications/index.php 

@inproceedings{ liang01jul,
     author = {Donglin Liang 
                and Mary Jean Harrold},
      title = {Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses},
  booktitle = {Proceedings of theStatic Analysis Symposium (SAS 2001)},
      pages = {279--298},
    address = {Paris, France},
      month = {July},
       year = {2001},
      notes = {}
}

Back