Search Results - "Java program analysis"

Scaling Java Program Analysis and Testing Techniques by Hussein, Soha Mohamed Nabil Abdelhamid

“…We are witnessing a significant surge in the development of large-scale software solutions, largely propelled by the extensive reuse of components and…”
Get full text

Dynamic Java program analysis using virtual machine modification by Ermakov, M., Vartanov, S.

“…This article focuses on practical questions of performing program analysis for applications executed using interpreters and virtual machines. Using Dalvik…”
Get full text

The Influence of Alias and References Escape on Java Program Analysis by Chen, Shengbo, Sun, Dashen, Miao, Huaikou

“…The alias and references escape are often used in Java programs. They bring much convenience to the developers, but, at the same time, they also give adverse…”
Get full text

The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently by Halalingaiah, Shashin, Sundaresan, Vijay, Maier, Daryl, Nandivada, V. Krishna

“…Data-flow analyses like points-to analysis can vastly improve the precision of other analyses, and enable powerful code optimizations. However, whole-program…”
Get full text

Java program analysis projects in Osaka University: aspect-based slicing system ADAS and ranked-component search system SPARS-J by Yokomori, Reishi, Ishio, Takashi, Yamamoto, Tetsuo, Matsushita, Makoto, Kusumoto, Shinji, Inoue, Katsuro

“…In our research demonstration, we show two development support systems for Java programs. One is an Aspect-oriented Dynamic Analysis and Slice calculation…”
Get full text

Java program analysis projects in osaka university: aspect-based slicing system ADAS and ranked-component search system SPARS-J by Yokomori, R., Ishio, T., Yamamoto, T., Matsushita, M., Kusumoto, S., Inoue, K.

“…In our research demonstration, we show two development support systems for Java programs. One is an Aspect-oriented Dynamic Analysis and Slice calculation…”
Get full text

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer by Alpuente, M., Feliú, M.A., Joubert, C., Villanueva, A.

“…This work presents a practical Java program analysis framework that is obtained by combining a Java virtual machine with a general-purpose verification toolbox that we previously extended…”
Get full text

An instrumentation technique for online analysis of multithreaded programs by Roşu, Grigore, Sen, Koushik

“… The technique has been implemented as part of a Java program analysis tool. Copyright © 2006 John Wiley & Sons, Ltd…”
Get full text

Extension in domain specific code generation with meta-model based aspect weaving by Tian, Meng

“…Domain specific code generation improves software productivity and reliability. However, these advantages are lost if the generated code needs to be manually…”
Get full text

Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot by Bartel, Alexandre, Klein, Jacques, Monperrus, Martin, Yves Le Traon

“…This paper introduces Dexpler, a software package which converts Dalvik bytecode to Jimple. Dexpler is built on top of Dedexer and Soot. As Jimple is Soot's…”
Get full text

A regression test selection technique based on incremental dynamic analysis by Akhin, Marat, Itsykson, Vladimir

“…Regression software testing is one of the ways to increase software development efficiency. The purpose of regression testing is to check program correctness…”
Get full text

An instrumentation technique for online analysis of multithreaded programs by Rosu, G., Sen, K.

“…Summary form only given. A formal analysis technique aiming at finding safety errors in multithreaded systems at runtime is investigated. An automatic code…”
Get full text

Partial program analysis for staged compilation systems by Anand, Aditya, Thakur, Manas

“…In spite of decades of static-analysis research behind developing precise whole-program dataflow analyses, languages that use just-in-time (JIT) compilers…”
Get full text

Survey of annotation generators for deductive verifiers by Lathouwers, Sophie, Huisman, Marieke

“…Deductive verifiers require intensive user interaction in the form of writing precise specifications, thereby limiting their use in practice. While many…”
Get full text

An Efficient and Scalable Platform for Java Source Code Analysis using Overlaid Graph Representations by Rodriguez-Prieto, Oscar, Mycroft, Alan, Ortin, Francisco

“… at. For this reason, we created ProgQuery, a platform to allow users to write their own Java program analyses in a declarative fashion, using graph representations…”
Get full text