Two techniques to improve the precision of a demand-driven null-dereference verification approach. Margoor, A. and Komondoor, R. Sci. Comput. Program., 98:645-679, 2015.
Two techniques to improve the precision of a demand-driven null-dereference verification approach. [link]Link  Two techniques to improve the precision of a demand-driven null-dereference verification approach. [link]Paper  bibtex   
@article{journals/scp/MargoorK15,
  added-at = {2015-01-06T00:00:00.000+0100},
  author = {Margoor, Amogh and Komondoor, Raghavan},
  biburl = {http://www.bibsonomy.org/bibtex/242714814e8d6de9a0c63d4ee477c85c5/dblp},
  ee = {http://dx.doi.org/10.1016/j.scico.2014.09.006},
  interhash = {d44db047905bb8adfb652129ea48bb56},
  intrahash = {42714814e8d6de9a0c63d4ee477c85c5},
  journal = {Sci. Comput. Program.},
  keywords = {dblp},
  pages = {645-679},
  timestamp = {2015-06-17T22:32:11.000+0200},
  title = {Two techniques to improve the precision of a demand-driven null-dereference verification approach.},
  url = {http://dblp.uni-trier.de/db/journals/scp/scp98.html#MargoorK15},
  volume = 98,
  year = 2015
}
Downloads: 0