PtrTracker:实用指针分析

2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) Pub Date : 2013-10-28 DOI:10.1109/SCAM.2013.6648186

Sebastian Biallas, Mads Chr. Olesen, F. Cassez, Ralf Huuck

{"title":"PtrTracker:实用指针分析","authors":"Sebastian Biallas, Mads Chr. Olesen, F. Cassez, Ralf Huuck","doi":"10.1109/SCAM.2013.6648186","DOIUrl":null,"url":null,"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.","PeriodicalId":170882,"journal":{"name":"2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"PtrTracker: Pragmatic pointer analysis\",\"authors\":\"Sebastian Biallas, Mads Chr. Olesen, F. Cassez, Ralf Huuck\",\"doi\":\"10.1109/SCAM.2013.6648186\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":170882,\"journal\":{\"name\":\"2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM)\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-10-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SCAM.2013.6648186\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SCAM.2013.6648186","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

摘要

静态程序分析在工业C/ c++代码中进行bug检测面临许多挑战。其中之一是有效地分析指针和指针结构。虽然针对编译器优化或验证任务的指针分析的各个方面进行了大量研究，但这两个经典类别都没有针对错误检测进行优化，其中速度和精度很重要，但并不一定需要保证稳健性(没有遗漏的错误)和完整性(没有误报)。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

PtrTracker: Pragmatic pointer analysis

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM)

自引率

0.00%

发文量