检索结果-内蒙古大学图书馆

5th ieee international workshop on source code analysis and manipulation

作者： Fluri, B Gall, HC Pinzger, M Univ Zurich Dept Informat Seal Zurich Switzerland

ISBN: (纸本)0769522920

In software evolution analysis, many approaches analyze release history data available through versioning systems. The recent investigations of CVS data have shown that commonly committed files highlight their change couplings. However CVS stores modifications on the basis of text but does not track structural changes, such as the insertion, removing, or modification of methods or classes. A detailed analysis whether change couplings are caused by source code couplings or by other textual modifications, such as updates in license terms, is not performed by current approaches. The focus of this paper is on adding structural change information to existing release history data. We present an approach that uses the structure compare services shipped with the Eclipse IDE to obtain the corresponding fine-grained changes between two subsequent versions of any Java class. This information supports filtering those change couplings which result from structural changes. So we can distill the causes for change couplings along releases and filter out those that are structurally relevant. The first validation of our approach with a medium-sized open source software system showed that a reasonable amount of change couplings are not caused by source code changes.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Online cycle detection and difference propagation for pointer analysis 3

Online cycle detection and difference propagation for pointe...

引用

3rd ieee international workshop on source code analysis and manipulation

作者： Pearce, DJ Kelly, PHJ Hankin, C Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England

ISBN: (纸本)0769520057

This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is formulated as a graph of set constraints and solved using a worklist algorithm. Indirections lead to new constraints being added during this process. In this work, we present a new algorithm for online cycle detection, and a difference propagation technique which records changes in a variable's solution. Effectiveness of these and other methods are evaluated experimentally using nine common 'C' programs ranging between 1000 to 55000 lines of code.

关键词： Algorithm design and analysis Change detection algorithms Conferences Educational institutions Runtime

来源：评论

学校读者我要写书评

暂无评论

Implementation and verification of implicit-invocation systems using source transformation

Implementation and verification of implicit-invocation syste...

引用

5th ieee international workshop on source code analysis and manipulation

作者： Zhang, HY Bradbury, JS Cordy, JR Dingel, J Queens Univ Sch Comp Kingston ON Canada

ISBN: (纸本)0769522920

In this paper we present a source transformation-based framework to support uniform testing and model checking of implicit-invocation software systems. The framework includes a new domain-specific programming language, the Implicit-Invocation Language (IIL), explicitly designed for directly expressing implicit-invocation software systems, and a set of formal rule-based source transformation tools that allow automatic generation of both executable and formal verification artifacts. We provide details of these transformation tools, evaluate the framework in practice, and discuss the benefits of formal automatic transformation in this context. Our approach is designed not only to advance the state-of-the-art in validating implicit-invocation systems, but also to further explore the use of automated source transformation as a uniform vehicle to assist in the implementation, validation and verification of programming languages and software systems in general.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

Barrier slicing and chopping 3

Barrier slicing and chopping

引用

3rd ieee international workshop on source code analysis and manipulation

作者： Krinke, J Univ Passau D-8390 Passau Germany

ISBN: (纸本)0769520057

One of the critiques on program slicing is that slices presented to the user are hard to understand. This is partly due to bad user interfaces, but mainly related to the problem that slicing 'dumps' the results onto the user without any explanation. This work will present an approach that can be used to 'filter' slices. This approach basically introduces 'barriers' which are not allowed to be passed during slice computation. An earlier filtering approach is chopping which is also extended to obey such a barrier The barrier variants of slicing and chopping provide filtering possibilities for smaller slices and better comprehensibility.

关键词： Computer science Conferences Data analysis Data flow computing Data mining Filtering Iterative methods Programming profession Reachability analysis User interfaces

来源：评论

学校读者我要写书评

暂无评论

Knitting Music and Programming Reflections on the Frontiers of source code analysis

Knitting Music and Programming Reflections on the Frontiers ...

引用

11th ieee international Working Conference on source code analysis and manipulation/ieee international Conference on Software Maintenance/ieee international Symposium on Web Systems Evolution/VISSOFT/MESOCA

作者： Gold, Nicolas UCL Dept Comp Sci CREST London England

ISBN: (纸本)9780769543475

source code analysis and manipulation (SCAM) underpins virtually every operational software system. Despite the impact and ubiquity of SCAM principles and techniques in software engineering, there are still frontiers to be explored. Looking "inward" to existing techniques, one finds frontiers of performance, efficiency, accuracy, and usability;looking "outward" one finds new languages, new problems, and thus new approaches. This paper presents a reflective framework for characterizing source languages and domains. It draws on current research projects in music program analysis, musical score processing, and machine knitting to identify new frontiers for SCAM. The paper also identifies opportunities for SCAM to inspire, and be inspired by, problems and techniques in other domains.

关键词： source code analysis music programming music analysis graphical programming

来源：评论

学校读者我要写书评

暂无评论

A case study in detecting software security vulnerabilities using constraint optimization 1

A case study in detecting software security vulnerabilities ...

引用

1st ieee international workshop on source code analysis and manipulation

作者： Weber, M Shah, V Ren, C Cigital Inc Dulles VA 20166 USA

ISBN: (纸本)0769513875

In this paper we present a case study in static analysis, with a focus on static methods for detecting buffer overflow vulnerabilities in software. We describe in detail a tool called Mjolnir that we have developed Which improves upon existing static analysis techniques for detecting buffer overflow. The architecture and process flow of this tool are presented. We discuss some common static analysis obstacles in terms of where they were encountered in developing this tool and the steps that were taken to overcome them. A prototype of the tool has been implemented and used for detecting buffer overflow vulnerabilities in C programs and experimental results are presented that demonstrate the effectiveness of the tool.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

XOgastan: XML-oriented gcc AST analysis and transformations 3

XOgastan: XML-oriented gcc AST analysis and transformations

引用

3rd ieee international workshop on source code analysis and manipulation

作者： Antoniol, G Di Penta, M Masone, G Villano, U Univ Sannio Dept Engn RCOST I-82100 Benevento Italy

ISBN: (纸本)0769520057

Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the past, two different strategies have been adopted to develop tool suites. There are tools encompassing or implementing the source parse step, where the parser is internal to the toolkit, developed and maintained with it. A different approach builds tools on the top of external, already available, components such as compilers that output the abstract syntax tree, or make it available via an API. This paper presents an approach and a tool, XOgastan, developed exploiting the gcc/g++ ability to save a representation of the intermediate abstract syntax tree into a file. XOgastan translates the gcc/g++ format into a Graph eXchange Language representation, thus taking advantage of the high number of currently available XML tools for the subsequent analysis phases. Here the tool is illustrated and its design is discussed, showing its architecture and the main implementation choices.

关键词： source code analysis tools gcc XML GXL

来源：评论

学校读者我要写书评

暂无评论

Unique renaming of Java using source transformation 3

Unique renaming of Java using source transformation

引用

3rd ieee international workshop on source code analysis and manipulation

作者： Guo, XP Cordy, JR Dean, TR Queens Univ Sch Comp Kingston ON K7L 3N6 Canada

ISBN: (纸本)0769520057

This paper presents a method for unique renaming declarations and references in Java programs using source transformation to XML markup. Each entity declaration and reference in the Java program is assigned a globally unique identifier (UID) based on its declaration scope and file. The UID serves as a key by which the entity's original declaration and all references can be found, and more importantly, by which information about the entity can be stored or retrieved from the design database. The resulting uniquely renamed source code makes it convenient and efficient to do. further business logic and technical analysis that crosses the boundary between source code and the design database. UIDs are attached to entity references in the source code using XML markup, so that both the UID and the original source text of the declaration or reference are available in the renamed source program. While it is possible to generate unique names in an ad hoc manner, we show how to generate them using a combination of source transformations and design database inferences. This ensures that the notion of UID is consistent and well defined.

关键词： Computer crime Conferences Databases Encoding Information analysis Java Joining processes Libraries Packaging XML

来源：评论

学校读者我要写书评

暂无评论

Guest Editorial for the Special Issue on source code analysis and manipulation, SCAM 2008

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2009年第10期51卷 1377-1378页

作者： Cordy, James R. Zhang, Lu Queens Univ Sch Comp Kingston ON K7L 3N6 Canada Peking Univ Inst Software Sch Elect Engn & Comp Sci Beijing 100871 Peoples R China

This issue of Information and Software Technology concentrates on the bottom line in computer software engineering - the source code itself. The seven papers in this issue were selected and extended from the best papers presented at the 8th ieee international Conference on source code analysis and manipulation (SCAM\'08) held in Beijing, China, in September 2008.

关键词： source code computer software computer programs Beijing China

来源：评论

学校读者我要写书评

暂无评论

Software engineering by source transformation - Experience with TXL 1

Software engineering by source transformation - Experience w...

引用

1st ieee international workshop on source code analysis and manipulation

作者： Cordy, JR Dean, TR Malton, AJ Schneider, KA Queens Univ Dept Comp & Informat Sci Kingston ON K7L 3N6 Canada

ISBN: (纸本)0769513875

Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, platform migration and code reuse can all be understood as transformations from one source text to another. TXL, the Tree Transformation Language, is a programming language specifically designed to support rule-based source to source transformation. Originally conceived as a tool for exploring programming language dialects, TXL has evolved into a general purpose software transformation system that has proven well suited to a wide range of software maintenance and reengineering tasks, including the design recovery, analysis and automated reprogramming of billions of lines of commercial Cobol, PL/I and RPG code for the Year 2000. In this short paper we introduce the basic features of modern TXL and its use in a range of software engineering applications, with an emphasis on how each task can be achieved by source transformation.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：