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

dynamic program analysis-Reconciling developer productivity and tool performance

SCIENCE OF COMPUTER programMING 2014年第Part3期95卷 344-358页

作者： Sarimbekov, Aibek Zheng, Yudi Ansaloni, Danilo Bulej, Lubomir Marek, Lukas Binder, Walter Tuma, Petr Qi, Zhengwei Charles Univ Prague CR-11636 Prague 1 Czech Republic Univ Lugano Lugano Switzerland Shanghai Jiao Tong Univ Shanghai 200030 Peoples R China

dynamic program analysis tools serve many important software engineering tasks such as profiling, debugging, testing, program comprehension, and reverse engineering. Many dynamic analysis tools rely on program instrumentation and are implemented using low-level instrumentation libraries, resulting in tedious and error-prone tool development. Targeting this issue, we have created the Domain-Specific Language for Instrumentation (DiSL), which offers high-level programming abstractions especially designed for instrumentation-based dynamic analysis. When designing DiSL, our goal was to boost the productivity of tool developers targeting the Java Virtual Machine, without impairing the performance of the resulting tools. In this paper we assess whether DiSL meets this goal. First, we perform a controlled experiment to measure tool development time and correctness of the developed tools, comparing DiSL with a prevailing, state-of-the-art instrumentation library. Second, we recast 10 open-source software engineering tools in DiSL and compare source code metrics and performance with the original implementations. Our studies show that DiSL significantly improves developer productivity, enables concise tool implementations, and does not have any negative impact on tool performance. (C) 2014 Elsevier B.V. All rights reserved.

关键词： dynamic program analysis Bytecode instrumentation Development productivity Controlled experiment

来源：评论

学校读者我要写书评

暂无评论

dynamic program analysis with Flexible Instrumentation and Complex Event Processing 34

Dynamic Program Analysis with Flexible Instrumentation and C...

引用

34th IEEE International Symposium on Software Reliability Engineering (ISSRE)

作者： Soucidi, Chukri Falcone, Ylies Halle, Sylvain Univ Grenoble Alpes CNRS INRIA Grenoble INPLIG F-38000 Grenoble France Univ Quebec Chicoutimi Chicoutimi PQ Canada

ISBN: (纸本)9798350315943

This paper presents a flexible and modular approach to dynamic program analysis for JVM-based languages, aiming to address the limitations of existing tools, in particular their limited expressivity and tight coupling between instrumentation and analysis. The proposed solution decouples these two processes using BISM, a lightweight instrumentation language, and BeepBeep, a complex event processing engine. This novel combination enhances expressiveness, promotes reusability, and integrates seamlessly into JVM-based projects. Various analyses such as monitoring, profiling, coverage measurement, and complex event generation are demonstrated, showcasing the approach's flexibility.

关键词： complex event processing dynamic program analysis instrumentation JVM based languages

来源：评论

学校读者我要写书评

暂无评论

Introduction to dynamic program analysis with DiSL

引用

SCIENCE OF COMPUTER programMING 2015年第Part1期98卷 100-115页

作者： Marek, Lukas Zheng, Yudi Ansaloni, Danilo Bulej, Lubomir Sarimbekov, Aibek Binder, Walter Tuma, Petr Univ Lugano Lugano Switzerland Charles Univ Prague CR-11636 Prague 1 Czech Republic

dynamic program analysis (DPA) tools assist in many software engineering and development tasks, such as profiling, program comprehension, and performance model construction and calibration. On the Java platform, many DPA tools are implemented either using aspect-oriented programming (AOP), or rely on bytecode instrumentation to modify the base program code. The pointcut/advice model found in AOP enables rapid tool development, but does not allow expressing certain instrumentations due to limitations of mainstream AOP languages-developers thus use bytecode manipulation to gain more expressiveness and performance. However, while the existing bytecode manipulation libraries handle some low-level details, they still make tool development tedious and error-prone. Targeting this issue, we provide the first complete presentation of DiSL, an open-source instrumentation framework that reconciles the conciseness of the AOP pointcut/advice model and the expressiveness and performance achievable with bytecode manipulation libraries. Specifically, we extend our previous work to provide an overview of the DiSL architecture, advanced features, and the programming model. We also include case studies illustrating successful deployment of DiSL-based DPA tools. (C) 2014 Elsevier B.V. All rights reserved.

关键词： dynamic program analysis Bytecode instrumentation Aspect-oriented programming Domain-specific languages Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

Comprehensive Multiplatform dynamic program analysis for Java and Android

引用

IEEE SOFTWARE 2016年第4期33卷 55-63页

作者： Zheng, Yudi Kell, Stephen Bulej, Lubomir Sun, Haiyang Binder, Walter Univ Svizzera Italiana Fac Informat Lugano Switzerland Univ Cambridge Comp Lab Cambridge CB2 1TN England

ShadowVM lets programmers express dynamic-analysis tools at a high level, robustly, with high coverage and supporting alternative runtimes. It comprehensively takes care of the incidental complexities of developing cu... 详细信息

关键词： Android Operating System Java program Debugging program Diagnostics Software Engineering Multiplatform dynamic program analysis Java Android program Profiling program Tracing Bug Finding Tool Software Engineering Shadow VM dynamic programming Java Performance analysis Software Development Androids Humanoid Robots Virtual Machining dynamic program analysis Java Android Software Engineering Software Development Shadow VM Virtual Machines

来源：评论

学校读者我要写书评

暂无评论

NAB: Automated Large-Scale Multi-language dynamic program analysis in Public Code Repositories 2019

NAB: Automated Large-Scale Multi-language Dynamic Program An...

引用

International Conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH)

作者： Villazon, Alex Sun, Haiyang Rosa, Andrea Rosales, Eduardo Bonetta, Daniele Defilippis, Isabella Oporto, Sergio Binder, Walter Univ Privada Boliviana La Paz Bolivia Univ Svizzera Italiana Lugano Switzerland Oracle Labs Austin TX USA

ISBN: (纸本)9781450369923

This paper describes NAB, a novel framework to execute custom dynamic analysis on open-source software hosted in public repositories. NAB is fully-automatic, language-agnostic and scalable. We present NAB's key features and its architecture. We also discuss three large-scale case studies enabled by NAB on more than 56K ***, Java, and Scala projects.

关键词： dynamic program analysis code repositories GitHub Node.js Java Scala promises JIT-unfriendly code task granularity

来源：评论

学校读者我要写书评

暂无评论

A Randomized dynamic program analysis Technique for Detecting Real Deadlocks 09

A Randomized Dynamic Program Analysis Technique for Detectin...

引用

ACM SIGPLAN Conference on programming Language Design and Implementation

作者： Joshi, Pallavi Park, Chang-Seo Sen, Koushik Naik, Mayur Univ Calif Berkeley Dept EECS Berkeley CA 94720 USA

ISBN: (纸本)9781605583921

We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dynamic analysis technique to find potential deadlocks in a multi-threaded program by observing an execution of the program. In the second stage, we control a random thread scheduler to create the potential deadlocks with high probability. Unlike other dynamic analysis techniques, our approach has the advantage that it does not give any false warnings. We have implemented the technique in a prototype tool for Java, and have experimented on a number of large multi-threaded Java programs. We report a number of previously known and unknown real deadlocks that were found in these benchmarks.

关键词： deadlock detection dynamic program analysis concurrency

来源：评论

学校读者我要写书评

暂无评论

A dynamic program analysis to find Floating-Point Accuracy Problems 12

A Dynamic Program Analysis to find Floating-Point Accuracy P...

引用

33rd ACM SIGPLAN Conference on programming Language Design and Implementation

作者： Benz, Florian Hildebrandt, Andreas Hack, Sebastian Univ Saarland Saarbrucken Germany Johannes Gutenberg Univ Mainz Mainz Germany

ISBN: (纸本)9781450312059

programs using floating-point arithmetic are prone to accuracy problems caused by rounding and catastrophic cancellation. These phenomena provoke bugs that are notoriously hard to track down: the program does not necessarily crash and the results are not necessarily obviously wrong, but often subtly inaccurate. Further use of these values can lead to catastrophic errors. In this paper, we present a dynamic program analysis that supports the programmer in finding accuracy problems. Our analysis uses binary translation to perform every floating-point computation side by side in higher precision. Furthermore, we use a lightweight slicing approach to track the evolution of errors. We evaluate our analysis by demonstrating that it catches well-known floating-point accuracy problems and by analyzing the Spec CFP2006 floating-point benchmark. In the latter, we show how our tool tracks down a catastrophic cancellation that causes a complete loss of accuracy leading to a meaningless program result. Finally, we apply our program to a complex, real-world bioinformatics application in which our program detected a serious cancellation. Correcting the instability led not only to improved quality of the result, but also to an improvement of the program's run time.

关键词： dynamic program analysis program instrumentation floating-point accuracy

来源：评论

学校读者我要写书评

暂无评论

Self-Refining Aspects for dynamic program analysis 11

Self-Refining Aspects for Dynamic Program Analysis

引用

10th International Conference on Aspect-Oriented Software Development (AOSD)

作者： Ansaloni, Danilo Univ Lugano Fac Informat Lugano Switzerland

ISBN: (纸本)9781450305563

Accurate and efficient dynamic analysis tools are needed for understanding and improving performance of programs. However, such tools often produce perturbed and misleading results, since the inserted analysis code may interfere with runtime optimizations performed by the just-in-time compiler. In this work, I present an approach based on aspect-oriented programming (AOP) to dynamically refine the scope of an analysis, gradually reducing the number of intercepted join points at runtime, considering only those that are relevant for the specific analysis. The motivating example is an aspect-based hotspot locator based on execution time profiling.

关键词： Aspect-oriented programming dynamic program analysis

来源：评论

学校读者我要写书评

暂无评论

Productive Development of dynamic program analysis Tools with DiSL

Productive Development of Dynamic Program Analysis Tools wit...

引用

22nd Australasian Conference on Software Engineering (ASWEC)

作者： Sarimbekov, Aibek Zheng, Yudi Ansaloni, Danilo Bulej, Lubomir Marek, Lukas Binder, Walter Tuma, Petr Qi, Zhengwei Univ Lugano Lugano Switzerland Charles Univ Prague Prague Czech Republic Shanghai Jiao Tong Univ Shanghai Peoples R China

ISBN: (纸本)9780769549958

dynamic program analysis tools serve many important software engineering tasks such as profiling, debugging, testing, program comprehension, and reverse engineering. Many dynamic analysis tools rely on program instrumentation and are implemented using low-level instrumentation libraries, resulting in tedious and error-prone tool development. The recently released Domain-Specific Language for Instrumentation (DiSL) was designed to boost the productivity of tool developers targeting the Java Virtual Machine, without impairing the performance of the resulting tools. DiSL offers high-level programming abstractions especially designed for development of instrumentation-based dynamic analysis tools. In this paper, we present a controlled experiment aimed at quantifying the impact of the DiSL programming model and high-level abstractions on the development of dynamic program analysis instrumentations. The experiment results show that compared with a prevailing, state-of-the-art instrumentation library, the DiSL users were able to complete instrumentation development tasks faster, and with more correct results.

关键词： dynamic program analysis bytecode instrumentation development productivity controlled experiment

来源：评论

学校读者我要写书评

暂无评论

Automatic Algorithmic Complexity Determination Using dynamic program analysis 14

Automatic Algorithmic Complexity Determination Using Dynamic...

引用

14th International Conference on Software Technologies (ICSOFT)

作者： Czibula, Istvan Onet-Marian, Zsuzsanna Vida, Robert-Francisc Babes Bolyai Univ Dept Comp Sci M Kogalniceanu St Cluj Napoca Romania

ISBN: (纸本)9789897583797

Algorithm complexity is an important concept in computer science concerned with the efficiency of algorithms. Understanding and improving the performance of a software system is a major concern through the lifetime of the system especially in the maintenance and evolution phase of any software. Identifying certain performance related issues before they actually affect the deployed system is desirable and possible if developers know the algorithmic complexity of the methods from the software system. In many software projects, information related to algorithmic complexity is missing, thus it is hard for a developer to reason about the performance of the system for different input data sizes. The goal of this paper is to propose a novel method for automatically determining algorithmic complexity based on runtime measurements. We evaluate the proposed approach on synthetic data and actual runtime measurements of several algorithms in order to assess its potential and weaknesses.

关键词： Algorithmic Complexity dynamic program analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：