Search Results - (java OR jana) bytecode analysis

Performance Study of Kotlin and Java Programs with Bytecode Analysis

Authors: Hayataka Nakamura Atsuya Sonoyama Takeshi Kamiyama et al.

Source: Journal of Information Processing. 32:380-395

Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java

Authors: Ramirez Deantes, Diana

Thesis Advisors: Puebla Sánchez, Alvaro Germán

Subject Terms: Informática

Access URL: http://hdl.handle.net/10803/452001

Using dynamic analysis of Java bytecode for evolutionary object-oriented unit testing

Authors: Ribeiro, José Carlos Bregieiro Zenha-Rela, Mário Alberto Fernandéz de Vega, Francisco et al.

Contributors: Ribeiro, José Carlos Bregieiro Zenha-Rela, Mário Alberto Fernandéz de Vega, Francisco et al.

Subject Terms: Evolutionary testing

File Description: application/pdf

Relation: 85-766-0119-1

Availability: http://hdl.handle.net/10400.8/134

Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java

Thesis Advisors: Puebla Sánchez, Alvaro Germán

Subject Terms: Informática

Access URL: http://oa.upm.es/6094/

Worst-case resource-usage analysis of Java Card classic editions application bytecode

Authors: Urquhart, Luke Dominic Mark Hankin, Chris

Contributors: Urquhart, Luke Dominic Mark Hankin, Chris

Subject Terms: 005.7

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.700692

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode

Authors: Eduardo Geraldo João Costa Seco

Source: Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 16-31 (2019)

Subject Terms: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://arxiv.org/pdf/1908.10041v1; https://doaj.org/toc/2075-2180

Access URL: https://doaj.org/article/921040cebea04d9fa56d42600dbf4bd9

Applying Java bytecode static instrumentation for software dynamic analysis

Authors: S. P. Vartanov M. K. Ermakov

Source: Труды Института системного программирования РАН, Vol 27, Iss 1, Pp 25-38 (2018)

Subject Terms: статическая инструментация, динамический анализ, анализ программ, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/574; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/2c86b823749b4acf8b3ead0335c717da

Applying dynamic analysis for defect detection in Java-applications

Authors: Sergey Vartanov Alexander Gerasimov

Source: Труды Института системного программирования РАН, Vol 25, Iss 0, Pp 9-28 (2018)

Subject Terms: итеративный динамичеcкий анализ программ, автоматический поиск ошибок, анализ java программ, software iterative dynamic analysis, automatic defect detection, java bytecode instrumentation, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/870; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/e1df2baeb7b745e5b5c29e7187656fde

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation

Authors: Yang Zhang Shuai Shao Huan Liu et al.

Source: IEEE Access, Vol 7, Pp 66292-66303 (2019)

Subject Terms: Software refactoring, synchronization, consistency, locks, program analysis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

File Description: electronic resource

Relation: https://ieeexplore.ieee.org/document/8723096/; https://doaj.org/toc/2169-3536

Access URL: https://doaj.org/article/845a3d04377541f58d11ecbd820bf45c

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs

Authors: Malte Mues Till Schallau Falk Howar

Source: Lecture Notes in Computer Science ISBN: 9783030634605

Subject Terms: Dynamic Symbolic Execution, Java Bytecode Analysis, Dynamic Taint Analysis, Domain Specific Languages

Static Analysis of Java Bytecode for Domain-specific Software Testing

Authors: Márcio E. Delamaro Paulo A. Nardi Otávio Lemos et al.

Source: Anais do XXI Simpósio Brasileiro de Engenharia de Software (SBES 2007). :325-341

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Java Android Application Performance Improvement by Kotlin DEX Bytecode Analysis without JIT Compiler

Authors: Ryoichi Shibata Atsuya Sonoyama Masato Oguchi et al.

Source: 2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan). :1-2

A Plagiarism Detection Technique for Java Program Using Bytecode Analysis

Authors: Jeong-Hoon Ji Gyun Woo Hwan-Gue Cho

Source: 2008 Third International Conference on Convergence and Hybrid Information Technology. :1092-1098

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Java Deserialization Vulnerability Detection Method Based on Hybrid Analysis

Authors: Peng ZHENG, Letian SHA

Source: Jisuanji gongcheng, Vol 49, Iss 12, Pp 136-145 (2023)

Subject Terms: taint analysis, java deserialization vulnerability, static analysis, dynamic verification, symbolic execution, constraint construction, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/20231216.pdf; https://doaj.org/toc/1000-3428

Access URL: https://doaj.org/article/5deca5ec69c54a7c934fb7872ff732a7

Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis

Authors: Artho, Cyrille Biere, Armin

Source: Electronic Notes in Theoretical Computer Science. 141:109-128

Subject Terms: Datavetenskap (datalogi), static analysis, Computer Sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, dynamic analysis, Java bytecode analysis, inlining, Theoretical Computer Science, Computer Science(all)

File Description: application/pdf; pdf

Access URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199170

BAT2XML: XML-based Java Bytecode Representation

Authors: Eichberg, Michael

Source: Electronic Notes in Theoretical Computer Science. 141:93-107

Subject Terms: Java Bytecode, Static Analysis, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, XML, Theoretical Computer Science, Computer Science(all)

A method for detecting the theft of Java programs through analysis of the control flow information

Authors: Lim, HI Lim, Hyun-il Park, H Park, Heewan Choi, S Choi, Seokwoo et al.

Source: Information and Software Technology. 51:1338-1350

Subject Terms: Software theft detection, Software birthmark, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Software copyright protection, Java bytecode analysis

Reconstruction of Type Information from Java Bytecode for Component Compatibility

Authors: Bauml, Jaroslav Brada, Premek

Source: Electronic Notes in Theoretical Computer Science. 264:3-18

Subject Terms: type reconstruction, subtyping, component compatibility, 0202 electrical engineering, electronic engineering, information engineering, bytecode analysis, 02 engineering and technology, reflection, Theoretical Computer Science, Computer Science(all)

SOBA: A Simple Toolkit for Java Bytecode Analysis / SOBA:シンプルなJavaバイトコード解析ツールキット

Authors: Katsuro INOUE Takashi ISHIO Tomomi HATANO et al.

Source: コンピュータ ソフトウェア / Computer Software. 2016, 33(4):4-4

Additional Titles: SOBA: A Simple Toolkit for Java Bytecode Analysis

Index Terms: Journal Article., VoR.

URL: https://hdl.handle.net/11094/92579
https://doi.org/10.11309/jssst.33.4_4
https://ir.library.osaka-u.ac.jp/repo/ouka/all/92579/ComputSoftw_33_4_4.pdf