Výsledky vyhľadávania - (java OR jana) bytecode analysis*

Java Bytecode Normalization for Code Similarity Analysis

Autori: Schott, Stefan Ponta, Serena Elisa Fischer, Wolfram a ďalší

Prispievatelia: Schott, Stefan Ponta, Serena Elisa Fischer, Wolfram a ďalší

Predmety: Code Similarity Analysis, ddc:004, Java Compiler, Bytecode

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.37

Performance Study of Kotlin and Java Programs with Bytecode Analysis

Autori: Hayataka Nakamura Atsuya Sonoyama Takeshi Kamiyama a ďalší

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

Java Bytecode Normalization for Code Similarity Analysis (Artifact)

Autori: Schott, Stefan Ponta, Serena Elisa Fischer, Wolfram a ďalší

Prispievatelia: Schott, Stefan Ponta, Serena Elisa Fischer, Wolfram a ďalší

Predmety: Code Similarity Analysis, ddc:004, Java Compiler, Bytecode

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.20

Two Approaches to Fast Bytecode Frontend for Static Analysis

Autori: Chenxi Li Haoran Lin Tian Tan a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 9:867-893

Java Bytecode Normalization for Code Similarity Analysis

Autori: Stefan Schott and Serena Elisa Ponta and Wolfram Fischer and Jonas Klauke and Eric Bodden Schott, Stefan Ponta, Serena Elisa a ďalší

Témy: Bytecode, Java Compiler, Code Similarity Analysis, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.37
Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024)

Java Bytecode Normalization for Code Similarity Analysis (Artifact)

Autori: Stefan Schott and Serena Elisa Ponta and Wolfram Fischer and Jonas Klauke and Eric Bodden Schott, Stefan Ponta, Serena Elisa a ďalší

Témy: Bytecode, Java Compiler, Code Similarity Analysis, Article, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.20
Is Part Of DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024)

CIL to Java-bytecode translation for static analysis leveraging

Autori: Ferrara, Pietro Cortesi, Agostino Spoto, Fausto

Zdroj: Proceedings of the 6th Conference on Formal Methods in Software Engineering. :40-49

Predmety: 0202 electrical engineering, electronic engineering, information engineering, CIl, Java Bytecode, Static Analysis, 02 engineering and technology, Software

Popis súboru: application/pdf

Prístupová URL adresa: https://iris.unive.it/bitstream/10278/3703089/1/FORMALISE_2018_paper_1.pdf
https://hdl.handle.net/11562/988470
https://doi.org/10.1145/3193992.3193994
https://dl.acm.org/citation.cfm?doid=3193992.3193994

Java Bytecode Normalization for Code Similarity Analysis - Artifact

Java Bytecode Normalization for Code Similarity Analysis - Artifact

Java Bytecode Normalization for Code Similarity Analysis - Artifact

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

Autori: Ramirez Deantes, Diana

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

Predmety: Informática

Prístupová URL adresa: http://hdl.handle.net/10803/452001

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

Autori: Ribeiro, José Carlos Bregieiro Zenha-Rela, Mário Alberto Fernandéz de Vega, Francisco a ďalší

Prispievatelia: Ribeiro, José Carlos Bregieiro Zenha-Rela, Mário Alberto Fernandéz de Vega, Francisco a ďalší

Predmety: Evolutionary testing

Popis súboru: application/pdf

Relation: 85-766-0119-1

Dostupnosť: 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

Predmety: Informática

Prístupová URL adresa: http://oa.upm.es/6094/

Graft: Static Analysis of Java Bytecode with Graph Databases

Autori: Wim Keirsgieter Willem Visser

Zdroj: Conference of the South African Institute of Computer Scientists and Information Technologists 2020. :217-226

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Enabling Static Taint Analysis on Hermes Bytecode in Java Analyzer

Autori: Anonymous, Anonymous

ROSEAU: Fast, Accurate, Source-Based API Breaking Change Analysis in Java

Autori: Latappy, Corentin Degueule, Thomas Falleri, Jean-Rémy a ďalší

Zdroj: 2025 IEEE International Conference on Software Maintenance and Evolution (ICSME). :517-528

Predmety: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering

Prístupová URL adresa: http://arxiv.org/abs/2507.17369

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

Autori: Urquhart, Luke Dominic Mark Hankin, Chris

Prispievatelia: Urquhart, Luke Dominic Mark Hankin, Chris

Predmety: 005.7

Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.700692

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode

Autori: Eduardo Geraldo João Costa Seco

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

Predmety: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, Mathematics, Programming Languages (cs.PL)

Prístupová URL adresa: https://arxiv.org/pdf/1908.10041
http://arxiv.org/abs/1908.10041
https://doaj.org/article/921040cebea04d9fa56d42600dbf4bd9

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode

Autori: Méndez-Lojo, Mario Navas, J. Hermenegildo, Manuel V.

Zdroj: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) | Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) | 31 March 2007 | Braga, Portugal
Archivo Digital UPM
instname

Predmety: Informática, multivariance, static analysis, Fixpoint algorithm, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, 02 engineering and technology, Theoretical Computer Science, Computer Science(all)

Popis súboru: application/pdf

Prístupová URL adresa: https://oa.upm.es/14606/

Using CLP Simplifications to Improve Java Bytecode Termination Analysis

Autori: SPOTO, Nicola Fausto L. Lu F. Mesnard a ďalší

Prispievatelia: SPOTO, Nicola Fausto L. Lu F. Mesnard a ďalší

Zdroj: Electronic Notes in Theoretical Computer Science. 253:129-144

Predmety: termination, Static analysis, abstract interpretation, termination analysis, Java, constraint logic programming, static analysis, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.univ-reunion.fr/hal-01188704v1/document
https://hal.univ-reunion.fr/hal-01188704v1
https://doi.org/10.1016/j.entcs.2009.11.019
https://hdl.handle.net/11562/339420
https://doi.org/10.1016/j.entcs.2009.11.019