Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation最新文献_第2页

Parallel support for source code analysis and modification 并行支持源代码分析和修改

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Pub Date : 2002-10-01 DOI: 10.1109/SCAM.2002.1134100

I. Baxter

引用次数: 5

Precise call graph construction in the presence of function pointers 在函数指针的存在下精确的调用图构造

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Pub Date : 2002-10-01 DOI: 10.1109/SCAM.2002.1134115

Ana L. Milanova, A. Rountev, B. Ryder

{"title":"Precise call graph construction in the presence of function pointers","authors":"Ana L. Milanova, A. Rountev, B. Ryder","doi":"10.1109/SCAM.2002.1134115","DOIUrl":"https://doi.org/10.1109/SCAM.2002.1134115","url":null,"abstract":"The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses through pointer dereferences, as well as indirect procedure calls (e.g., through function pointers in C). Such indirect-accesses and calls can be disambiguated with pointer analysis. In this paper we evaluate the precision of a pointer analysis by Zhang et al. (1996, 1998) for the purposes of call graph construction for C programs with function pointers. The analysis is implemented in the context of a production-strength code-browsing tool from Siemens Corporate Research. The analysis uses an inexpensive, almost-linear flow- and context-insensitive algorithm. To measure analysis precision, we compare the call graph computed by the analysis with the most precise call graph obtainable by a large category of pointer analyses. Surprisingly, for all our data programs the analysis of Zhang et al. achieves the best possible precision. This result indicates that for the purposes of call graph construction, even inexpensive analyses can provide very good precision, and therefore the use of more expensive analyses may not be justified.","PeriodicalId":301735,"journal":{"name":"Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121689391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 24

An interprocedural amorphous slicer for WSL 用于WSL的程序间非晶切片器

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Pub Date : 2002-10-01 DOI: 10.1109/SCAM.2002.1134110

M. Harman, Lin Hu, M. Munro, Xingyuan Zhang, S. Danicic, M. Daoudi, Lahcen Ouarbya

引用次数: 5

Mechanized operational semantics of WSL WSL的机械化操作语义

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Pub Date : 2002-10-01 DOI: 10.1109/SCAM.2002.1134107

Xingyuan Zhang, M. Munro, M. Harman, Lin Hu

引用次数: 7

Evaluating clone detection tools for use during preventative maintenance 评估在预防性维护期间使用的克隆检测工具

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Pub Date : 2002-10-01 DOI: 10.1109/SCAM.2002.1134103

E. Burd, J. Bailey

引用次数: 171

Combining source transformation and operator overloading techniques to compute derivatives for MATLAB programs 结合源变换和算子重载技术计算MATLAB程序的导数

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Pub Date : 2002-10-01 DOI: 10.1109/SCAM.2002.1134106

C. Bischof, H. M. Bücker, B. Lang, A. Rasch, A. Vehreschild

{"title":"Combining source transformation and operator overloading techniques to compute derivatives for MATLAB programs","authors":"C. Bischof, H. M. Bücker, B. Lang, A. Rasch, A. Vehreschild","doi":"10.1109/SCAM.2002.1134106","DOIUrl":"https://doi.org/10.1109/SCAM.2002.1134106","url":null,"abstract":"Derivatives of mathematical functions play a key role in various areas of numerical and technical computing. Many of these computations are done in MATLAB, a popular environment for technical computing providing engineers and scientists with capabilities for mathematical computing, analysis, visualization, and algorithmic development. For functions written in the MATLAB language, a novel software tool is proposed to automatically transform a given MATLAB program into another MATLAB program capable of computing not only the original function but also user-specified derivatives of that function. That is, a program transformation known as automatic differentiation is performed to change the semantics of the program in a fashion based on the chain rule of differential calculus. The crucial ingredient of the tool is a combination of source-to-source transformation and operator overloading. The overall design of the tool is described and numerical experiments are reported demonstrating the efficiency of the resulting code for a sample problem.","PeriodicalId":301735,"journal":{"name":"Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115291230","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 114

A simple mathematically based framework for rule extraction using wide spectrum language 一个简单的基于数学的框架的规则提取使用广泛的语言

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Pub Date : 2002-10-01 DOI: 10.1109/SCAM.2002.1134104

Frederick V. Ramsey, J. Alpigini

引用次数: 1

Dynamic slicing object-oriented programs for debugging 面向对象的动态切片程序调试

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Pub Date : 2002-10-01 DOI: 10.1109/SCAM.2002.1134111

Baowen Xu, Zhenqiang Chen, Hongji Yang

引用次数: 32