Výsledky vyhledávání - Java bytecode engineering

Coverage-Based Debloating for Java Bytecode

Autoři: Soto Valero, César Durieux, Thomas Harrand, Nicolas a další

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

Témata: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-316426
https://doi.org/10.1145/3546948

SJBCD: A Java Code Clone Detection Method Based on Bytecode Using Siamese Neural Network

Autoři: Bangrui Wan Shuang Dong Jianjun Zhou a další

Zdroj: Applied Sciences, Vol 13, Iss 17, p 9580 (2023)

Témata: code clone, code clone detection, bytecode, siamese neural network, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

Popis souboru: electronic resource

Relation: https://www.mdpi.com/2076-3417/13/17/9580; https://doaj.org/toc/2076-3417

Přístupová URL adresa: https://doaj.org/article/01ad4f5774e04d3e8347d3fbc66cbe6c

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR

Autoři: Tomaž DOBRAVEC

Zdroj: Acta Electrotechnica et Informatica, Vol 18, Iss 4, Pp 17-25 (2019)

Témata: Algorithm evaluation, Java bytecode counting, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

Relation: http://www.aei.tuke.sk/papers/2018/4/03_Dobravec.pdf; https://doaj.org/toc/1335-8243; https://doaj.org/toc/1338-3957

Přístupová URL adresa: https://doaj.org/article/b2bf7a8d80fa4f4a8890b04d97990146

Detecting Java Code Clones Based on Bytecode Sequence Alignment

Autoři: Dongjin Yu Jiazha Yang Xin Chen a další

Zdroj: IEEE Access, Vol 7, Pp 22421-22433 (2019)

Témata: Code clones, code clone detection, Java bytecode, code sequence alignment, code similarities, instruction block, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/2d0e5922688f4ac3b9965333ffae2f9e

A Study in Java ByteCode Engineering with PCESjava

Autoři: Linenweber, Martin R.

Témata: Computer Sciences, Computer Engineering

Popis souboru: application/pdf

The strengths and behavioral quirks of Java bytecode decompilers

Autoři: Harrand, Nicolas Soto Valero, César Monperrus, Martin a další

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

Témata: 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

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-272355

Mitigating Debugger-based Attacks to Java Applications with Self-debugging.

Autoři: Pizzolotto, Davide Berlato, Stefano Ceccato, Mariano

Zdroj: ACM Transactions on Software Engineering & Methodology; May2024, Vol. 33 Issue 4, p1-38, 38p

Témata: DEBUGGING, PROGRAM transformation, BINARY codes, LEAKS (Disclosure of information), REVERSE engineering

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration

Autoři: Bockisch, Christoph Taentzer, Gabriele Neufeld, Daniel

Témata: Computer Science - Software Engineering, text

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

Java decompiler diversity and its application to meta-decompilation

Autoři: Harrand, Nicolas Soto Valero, César Monperrus, Martin a další

Zdroj: Journal of Systems and Software. 168

Témata: Java bytecode, Decompilation, Reverse engineering, Source code analysis

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279880

A Framework for Debugging Java Programs in a Bytecode

Autoři: Soomro, Safeeullah Belgaum, Mohammad Riyaz Alansari, Zainab a další

Témata: Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory, Computer Science - Programming Languages, text

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

Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries

Autoři: Pizzolotto, Davide Ceccato, Mariano

Témata: Computer Science - Software Engineering, text

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

Java-MaC: A Run-Time Assurance Approach for Java Programs: Java-MaC: A run-time assurance approach for Java programs

Autoři: Kannan, Sampath Kim, Moonjoo Lee, Insup a další

Zdroj: Formal Methods in System Design. 24:129-155

Témata: formal specification, Java bytecode engineering, Specification and verification (program logics, model checking, etc.), execution trace validation, program instrumentation, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, xecution trace validation, 02 engineering and technology, software reliability, run-time monitoring and checking, Java

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1076&context=cis_papers
https://zbmath.org/2100115
https://doi.org/10.1023/b:form.0000017719.43755.7c

JBMC: A Bounded Model Checking Tool for Java Bytecode

Autoři: Brenguier, Romain Cordeiro, Lucas Kroening, Daniel a další

Témata: Computer Science - Software Engineering, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, text

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

An Experimental Comparison of Clone Detection Techniques using Java Bytecode

Autoři: Jean-Guy Schneider Sung Une Lee

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

CIL to Java-bytecode translation for static analysis leveraging

Autoři: Ferrara, Pietro Cortesi, Agostino Spoto, Fausto

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

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

Popis souboru: application/pdf

Pří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

WebJShrink: a web service for debloating Java bytecode

Autoři: Konner Macias Mihir Mathur Bobby R. Bruce a další

Zdroj: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :1665-1669

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3368089.3417934

Reverse-engineering 1-n associations from Java bytecode using alias analysis

Autoři: Yoohoon Kang Chanjin Park Chisu Wu

Zdroj: Information and Software Technology. 49:81-98

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Graft: Static Analysis of Java Bytecode with Graph Databases

Autoři: Wim Keirsgieter Willem Visser

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

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A Framework for Debugging Java Programs in a Bytecode

Autoři: Soomro, Safeeullah Belgaum, Mohammad Riyaz Alansari, Zainab a další

Zdroj: 2018 International Conference on Computing, Electronics & Communications Engineering (iCCECE). :317-322

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/pdf/1904.12501
http://arxiv.org/abs/1904.12501

Design, implementation, and application of GPU-based Java bytecode interpreters

Autoři: Ahmet Celik Pengyu Nie Christopher J. Rossbach a další

Zdroj: Proceedings of the ACM on Programming Languages. 3:1-28

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3360603