Search Results - Java Bytecode Analysis~

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

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

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

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

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

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

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

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/

Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems

Authors: de Carvalho Gomes, Pedro Picoco, Attilio Gurov, Dilian

Source: Verification of Control-Flow Properties of Programs with Procedures(CVPP) Swedish e-Science Research Centre.

Subject Terms: Software Verification, Static Analysis, Program Models, Compositional Verification, SRA - E-vetenskap (SeRC), SRA - E-Science (SeRC)

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104076
https://kth.diva-portal.org/smash/get/diva2:562962/FULLTEXT03.pdf

Debloating Java Dependencies

Authors: Soto Valero, César Baudry, Benoit, Professor Monperrus, Martin, Professor et al.

Contributors: Soto Valero, César Baudry, Benoit, Professor Monperrus, Martin, Professor et al.

Source: TRITA-EECS-AVL.

Subject Terms: Software debloating, software dependencies, Java bytecode, package manager, static program analysis, dynamic program analysis, Datalogi, Computer Science

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326755
https://kth.diva-portal.org/smash/get/diva2:1755964/FULLTEXT03.pdf

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

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

Provably Correct Control Flow Graphs from Java Bytecode Programs with Exceptions

Authors: Amighi, Afshin de Carvalho Gomes, Pedro Gurov, Dilian et al.

Source: International Journal on Software Tools for Technology Transfer. 18(6):653-684

Subject Terms: Software Verification, Static Analysis, Program Models, Informations- och kommunikationsteknik, Information and Communication Technology

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-164580

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

The strengths and behavioral quirks of Java bytecode decompilers

Authors: Harrand, Nicolas Soto Valero, César Monperrus, Martin et al.

Source: Proceedings - 19th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2019. :92-102

Subject Terms: Decompilation, Java bytecode, Reverse engineering, Source code analysis, Equivalence classes, Java programming language, Open systems, Semantics, Syntactics, Java byte codes, Java source codes, Open source software projects, Quality indicators, Real world projects, Semantic equivalences, Open source software

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-272355

Instrumentation of Java Bytecode for Runtime Analysis

Authors: Goldberg, Allen Haveland, Klaus

Subject Terms: Computer Programming And Software

Access URL: https://ntrs.nasa.gov/citations/20030071151

Sound Modular Extraction of Control Flow Graphs from Java Bytecode

Authors: de Carvalho Gomes, Pedro Gurov, Dilian, Docent Ahrendt, Wolfgang, Senior Lecturer

Contributors: de Carvalho Gomes, Pedro Gurov, Dilian, Docent Ahrendt, Wolfgang, Senior Lecturer

Source: Trita-CSC-A.

Subject Terms: Software Verification, Static Analysis, Program Models, Compositional Verification

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-105275
https://kth.diva-portal.org/smash/get/diva2:570503/FULLTEXT01.pdf

Java decompiler diversity and its application to meta-decompilation

Authors: Harrand, Nicolas Soto Valero, César Monperrus, Martin et al.

Source: Journal of Systems and Software. 168

Subject Terms: Java bytecode, Decompilation, Reverse engineering, Source code analysis

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279880

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs

Authors: de Carvalho Gomes, Pedro Picoco, Attilio Gurov, Dilian

Source: Fundamental Approaches to Software Engineering Lecture Notes in Computer Science. :215-229

Subject Terms: Incomplete Programs, Java Bytecode, Program Models, Formal Verification, Datalogi, Computer Science

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154786
https://doi.org/10.1007/978-3-642-54804-8_15