Search Results - Java Bytecode

Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack

Authors: Marco Paganoni Carlo A. Furia

Source: Formal Aspects of Computing. 37:1-26

DALEQ - Explainable Equivalence for Java Bytecode

Authors: Jens Dietrich 0001 Behnaz Hassanshahi

Source: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE). :3628-3638

Subject Terms: FOS: Computer and information sciences, Cryptography and Security, Cryptography and Security (cs.CR)

Access URL: http://arxiv.org/abs/2508.01530

Coverage-Based Debloating for Java Bytecode

Authors: Soto Valero, César Durieux, Thomas Harrand, Nicolas et al.

Source: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34

Subject Terms: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-316426
https://doi.org/10.1145/3546948

CryptoScout: Towards Context-Faithful Static Detection of Cryptographic API Misuses in Java Bytecode

Advanced Mutation Testing of Java Bytecode Using Model Transformation

Authors: Christoph Bockisch Freya Dorn Deniz Eren et al.

Subject Terms: Java bytecode, Mutation testing, Model transformation

Abstract Interpretation of Java Bytecode in Sturdy

Authors: Stefan Marx Sebastian Erdweg

Source: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs

Mutation Testing of Java Bytecode: A Model-Driven Approach

Authors: Christoph Bockisch Deniz Eren Sascha Lehmann et al.

Source: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. :237-248

CryptoScout: Towards Context-Faithful Static Detection of Cryptographic API Misuses in Java Bytecode

Java Bytecode Normalization for Code Similarity Analysis

Authors: Stefan Schott Serena Elisa Ponta Wolfram Fischer et al.

Contributors: Stefan Schott Serena Elisa Ponta Wolfram Fischer et al.

Subject Terms: Code Similarity Analysis, ddc:004, Java Compiler, Bytecode

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.37

Security Metrics for Java Bytecode Programs (S)

Authors: Alshammari, Bandar Fidge, Colin Corney, Diane et al.

Contributors: Alshammari, Bandar Fidge, Colin Corney, Diane et al.

File Description: application/pdf

Finding Source Code Clones in Intermediate Representations of Java Bytecode

Authors: André Schäfer Thomas S. Heinze Wolfram Amme

Source: 2023 IEEE 17th International Workshop on Software Clones (IWSC). :37-43

MMT: Mutation Testing of Java Bytecode with Model Transformation

Authors: Christoph Bockisch Gabriele Taentzer Daniel Neufeld

Source: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). :35-39

Verified Java Bytecode Verification (Verified Java Bytecode Verification)

Authors: Gerwin Klein

Source: it Inf. Technol.. 47:107-110

DALEQ -- Explainable Equivalence for Java Bytecode

Authors: Dietrich, Jens Hassanshahi, Behnaz

Index Terms: Cryptography and Security, text

URL: http://arxiv.org/abs/2508.01530

Translating c into java bytecode

Authors: Nabiyev, Farrukh

Subject Terms: C to Java compiler, cheminformatics, Crystallographic Information File (CIF), ANTLR, Java bytecode, ASM (Java library), CIF parser, simulated memory model. C į Java kompiliatorius, cheminė informatika, Kristalografinės informacijos failas (CIF), ANTLR, Java baitinis kodas, ASM (Java biblioteka), CIF analizatorius, simuliuotas atminties modelis

File Description: application/pdf

Access URL: https://repository.vu.lt/VU:ELABAETD238879786&prefLang=en_US

An Experimental Comparison of Clone Detection Techniques using Java Bytecode

Authors: Jean-Guy Schneider Sung Une Lee

Source: 2022 29th Asia-Pacific Software Engineering Conference (APSEC). :139-148

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

Optimising Java bytecode execution performance on embedded systems using instruction set enhancement

Authors: Adeel Iqbal Minhaj Ahmad Khan

Source: International Journal of Embedded Systems. 1

CIL to Java-bytecode translation for static analysis leveraging

Authors: Pietro Ferrara 0001 Agostino Cortesi Fausto Spoto

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

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

File Description: application/pdf

Access URL: 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)

Authors: Stefan Schott and Serena Elisa Ponta and Wolfram Fischer and Jonas Klauke and Eric Bodden Schott, Stefan Ponta, Serena Elisa et al.

Index Terms: 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)