@inproceedings{scam-2013,
  author    = {Sebastian Biallas and
               Mads Chr. Olesen and
               Franck Cassez and
               Ralf Huuck},
  title     = {PtrTracker: Pragmatic pointer analysis},
  booktitle = {13th {IEEE} International Working Conference on Source Code Analysis
               and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23,
               2013},
  pages     = {69--73},
  year      = {2013},
  publisher = {{IEEE} Computer Society},
  urlpaper = {papers/scam-2013.pdf},
  url_link       = {http://dx.doi.org/10.1109/SCAM.2013.6648186},
  doi       = {10.1109/SCAM.2013.6648186},
  keywords = {Software verification, pointers, static analysis},
  mywebpage = {soft-verif},
  category = {Software verification},
  abstract = {
  Static program analysis for bug detection in industrial C/C++ code has many challenges. One of them is to analyze pointer and pointer structures efficiently. While there has been much research into various aspects of pointer analysis either for compiler optimization or for verification tasks, both classical categories are not optimized for bug detection, where speed and precision are important, but soundness (no missed bugs) and completeness (no false positives) do not necessarily need to be guaranteed.
  },
    Type = {B - International Conferences},
}

{"_id":"oNqBGNGEdgp88pi2J","bibbaseid":"biallas-olesen-cassez-huuck-ptrtrackerpragmaticpointeranalysis-2013","author_short":["Biallas, S.","Olesen, M. C.","Cassez, F.","Huuck, R."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Sebastian"],"propositions":[],"lastnames":["Biallas"],"suffixes":[]},{"firstnames":["Mads","Chr."],"propositions":[],"lastnames":["Olesen"],"suffixes":[]},{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Ralf"],"propositions":[],"lastnames":["Huuck"],"suffixes":[]}],"title":"PtrTracker: Pragmatic pointer analysis","booktitle":"13th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2013, Eindhoven, Netherlands, September 22-23, 2013","pages":"69–73","year":"2013","publisher":"IEEE Computer Society","urlpaper":"papers/scam-2013.pdf","url_link":"http://dx.doi.org/10.1109/SCAM.2013.6648186","doi":"10.1109/SCAM.2013.6648186","keywords":"Software verification, pointers, static analysis","mywebpage":"soft-verif","category":"Software verification","abstract":"Static program analysis for bug detection in industrial C/C++ code has many challenges. One of them is to analyze pointer and pointer structures efficiently. While there has been much research into various aspects of pointer analysis either for compiler optimization or for verification tasks, both classical categories are not optimized for bug detection, where speed and precision are important, but soundness (no missed bugs) and completeness (no false positives) do not necessarily need to be guaranteed. ","bibtex":"@inproceedings{scam-2013,\n author = {Sebastian Biallas and\n Mads Chr. Olesen and\n Franck Cassez and\n Ralf Huuck},\n title = {PtrTracker: Pragmatic pointer analysis},\n booktitle = {13th {IEEE} International Working Conference on Source Code Analysis\n and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23,\n 2013},\n pages = {69--73},\n year = {2013},\n publisher = {{IEEE} Computer Society},\n urlpaper = {papers/scam-2013.pdf},\n url_link = {http://dx.doi.org/10.1109/SCAM.2013.6648186},\n doi = {10.1109/SCAM.2013.6648186},\n keywords = {Software verification, pointers, static analysis},\n mywebpage = {soft-verif},\n category = {Software verification},\n abstract = {\n Static program analysis for bug detection in industrial C/C++ code has many challenges. One of them is to analyze pointer and pointer structures efficiently. While there has been much research into various aspects of pointer analysis either for compiler optimization or for verification tasks, both classical categories are not optimized for bug detection, where speed and precision are important, but soundness (no missed bugs) and completeness (no false positives) do not necessarily need to be guaranteed.\n },\n Type = {B - International Conferences},\n}\n\n","author_short":["Biallas, S.","Olesen, M. C.","Cassez, F.","Huuck, R."],"key":"scam-2013","id":"scam-2013","bibbaseid":"biallas-olesen-cassez-huuck-ptrtrackerpragmaticpointeranalysis-2013","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/scam-2013.pdf"," link":"http://dx.doi.org/10.1109/SCAM.2013.6648186"},"keyword":["Software verification","pointers","static analysis"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","yYF8uwWqay28JyxZC","qbqYFWskmoonRB43F"],"keywords":["software verification","pointers","static analysis"],"search_terms":["ptrtracker","pragmatic","pointer","analysis","biallas","olesen","cassez","huuck"],"title":"PtrTracker: Pragmatic pointer analysis","year":2013}