Suchergebnisse - "java bytecode"

Capturing program models with BISM

Autoren: Soueidi, Chukri Falcone, Yliès

Weitere Verfasser: Soueidi, Chukri Falcone, Yliès

Quelle: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. :1857-1861

Schlagwörter: Java Bytecode, Typestate Analysis, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Runtime Verification, Parametric Monitoring, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Runtime Verification Typestate Analysis Parametric Monitoring Instrumentation Java Bytecode Control Flow, Instrumentation, Control Flow, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-03911682v1/document
https://doi.org/10.1145/3477314.3507239
https://inria.hal.science/hal-03911682v1

Debloating Java Dependencies

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

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

Quelle: TRITA-EECS-AVL.

Schlagwörter: Software debloating, software dependencies, Java bytecode, package manager, static program analysis, dynamic program analysis, Datalogi, Computer Science

Dateibeschreibung: electronic

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

Translating c into java bytecode

Autoren: Nabiyev, Farrukh

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

JaDA – the Java Deadlock Analyzer

Autoren: Abel Garcia Cosimo Laneve Cosimo, Laneve et al.

Weitere Verfasser: Abel Garcia Cosimo Laneve Cosimo, Laneve et al.

Quelle: Behavioural Types ISBN: 9781003337331

Schlagwörter: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Java bytecode, static analysis, behavioral type system, deadlock analysis, program verification, [INFO] Computer Science [cs], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-01643216v1
https://hdl.handle.net/11585/669699

CIL to Java-bytecode translation for static analysis leveraging

Autoren: Ferrara, Pietro Cortesi, Agostino Spoto, Fausto

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

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

Dateibeschreibung: application/pdf

Zugangs-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

Advanced Mutation Testing of Java Bytecode Using Model Transformation

Autoren: Bockisch, Christoph Dorn, Freya Eren, Deniz et al.

Schlagwörter: Java bytecode, Mutation testing, Model transformation

Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution)

Autoren: Tong Wu Peter Schrammel Lucas C. Cordeiro et al.

Weitere Verfasser: Tong Wu Peter Schrammel Lucas C. Cordeiro et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783030995263
Wu, T, Schrammel, P & Cordeiro, L 2022, Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). in D Fisman & G Rosu (eds), Tools and Algorithms for the Construction and Analysis of Systems-28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. vol. 13244, Lecture Notes in Computer Science, Springer Nature, pp. 484-489. https://doi.org/10.1007/978-3-030-99527-0_36
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems

Schlagwörter: Software Verification, Java Bytecode, Witness Validation

A novel code representation for detecting Java code clones using high-level and abstract compiled code representations

Autoren: Fahmi H. Quradaa Sara Shahzad Rashad Saeed et al.

Quelle: PLoS One
PLoS ONE, Vol 19, Iss 5 (2024)

Schlagwörter: FOS: Computer and information sciences, Code Clone Detection, Artificial intelligence, Science, Java bytecode, 02 engineering and technology, Machine Learning, Characterization and Detection of Android Malware, 0202 electrical engineering, electronic engineering, information engineering, Static Code Attributes, Abstract syntax tree, Source code, Bytecode, Parsing, Java applet, Source Code Analysis, Natural language processing, Java annotation, Computer science, Semantics, Programming language, Detection, Computer Science, Physical Sciences, Signal Processing, Medicine, Programming Languages, Software Reliability Modeling, Software Reliability Assessment and Prediction, Algorithms, Software, Java, Research Article, Empirical Studies in Software Engineering, Information Systems

Zugangs-URL: https://pubmed.ncbi.nlm.nih.gov/38728285
https://doaj.org/article/a5f315d9e7c14decb3cb6ab49412d766

An MDE Approach for Modular Program Analyses

Autoren: Yildiz, Bugra Mehmet Bockisch, Christoph Aksit, Mehmet et al.

Quelle: Companion to the first International Conference on the Art, Science and Engineering of Programming. :1-5

Schlagwörter: Model Driven Engineering, Model Transformation, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://research.utwente.nl/en/publications/71993db2-1f96-4fa1-ba51-a3cdffc8b2a5
https://doi.org/10.1145/3079368.3079392

Detecting Java Code Clones Based on Bytecode Sequence Alignment

Autoren: Dongjin Yu Jiazha Yang Xin Chen et al.

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

Schlagwörter: code similarities, Java bytecode, code clone detection, 0202 electrical engineering, electronic engineering, information engineering, Code clones, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, code sequence alignment, instruction block, TK1-9971

Zugangs-URL: https://ieeexplore.ieee.org/ielx7/6287639/8600701/08637956.pdf
https://doaj.org/article/2d0e5922688f4ac3b9965333ffae2f9e

From Jinja bytecode to term rewriting: A complexity reflecting transformation: From Jinja bytecode to term rewriting: a complexity reflecting transformation

Autoren: Moser, Georg Schaper, Michael

Quelle: Information and Computation. 261:116-143

Schlagwörter: program transformation, Analysis of algorithms and problem complexity, 0102 computer and information sciences, 02 engineering and technology, termination and resource analysis, AUTOMATED TERMINATION ANALYSIS, 01 natural sciences, Algorithmic information theory (Kolmogorov complexity, etc.), COMPILER, RESOURCE ANALYSIS, JAVA BYTECODE, term rewriting, Grammars and rewriting systems, 0202 electrical engineering, electronic engineering, information engineering, PROVING TERMINATION, automation

Dateibeschreibung: application/xml

Code Coverage for Java Dependencies ; Kodtäckning för Java Beroenden

Autoren: Sävås, Jonas

Schlagwörter: Code Coverage, Dependencies, Maven, Java Bytecode, Software Bloat, Kodtäckning, Mjukvaruberoenden, Java Bytekod, Uppsvälld programvara, Computer Sciences, Datavetenskap (datalogi), Software Engineering, Programvaruteknik

Dateibeschreibung: application/pdf

Relation: TRITA-EECS-EX; 2025:784

Verfügbarkeit: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-373597

A Model-Derivation Framework for Software Analysis

Autoren: Yildiz, Bugra M. Rensink, Arend Bockisch, Christoph et al.

Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 244, Iss Proc. MARS 2017, Pp 217-229 (2017)

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Java bytecode, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, UPPAAL, Software Engineering (cs.SE), Model Driven Engineering, Computer Science - Software Engineering, Metamodelling, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Model Transformaton, Programming Languages (cs.PL)

Zugangs-URL: https://arxiv.org/pdf/1703.06576
http://arxiv.org/abs/1703.06576
https://doaj.org/article/1a3ff6a666ae4afea3a0d9be6dfe6e98
https://research.utwente.nl/en/publications/54563416-6504-4554-8af7-75ca474aaaf1
https://doi.org/10.4204/EPTCS.244.9

BISM: Bytecode-Level Instrumentation for Software Monitoring

Autoren: Soueidi, Chukri Kassem, Ali Falcone, Yliès et al.

Weitere Verfasser: Soueidi, Chukri Kassem, Ali Falcone, Yliès et al.

Quelle: RV 2020 - 20th International Conference on Runtime Verification ; https://inria.hal.science/hal-03081265 ; RV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12

Schlagwörter: Static and Dynamic Contexts, Control Flow, Aspect-Oriented Programming, Java Bytecode, Monitoring, Runtime Verification, Instrumentation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geographisches Schlagwort: Los Angeles, United States

Verfügbarkeit: https://inria.hal.science/hal-03081265
https://inria.hal.science/hal-03081265v1/document
https://inria.hal.science/hal-03081265v1/file/rv20.pdf

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR

Autoren: Tomaž DOBRAVEC

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

Schlagwörter: Algorithm evaluation, Java bytecode counting, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Dateibeschreibung: 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

Zugangs-URL: https://doaj.org/article/b2bf7a8d80fa4f4a8890b04d97990146

Applying dynamic analysis for defect detection in Java-applications

Autoren: Sergey Vartanov Alexander Gerasimov

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

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

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/e1df2baeb7b745e5b5c29e7187656fde

Reachability Analysis of Program Variables

Autoren: NIKOLIC, Durica SPOTO, Nicola Fausto

Quelle: Lecture Notes in Computer Science ISBN: 9783642313646

Schlagwörter: static analysis, Abstract interpretation, Reachability Analysis, pointer analysis, Java bytecode, 0202 electrical engineering, electronic engineering, information engineering, Static Analysis, Constraint-based Analysis, Abstract Interpretation, Java Bytecode, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 3. Good health

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/11562/659958
https://doi.org/10.1145/2529990
http://www.springerlink.com/content/u52nnt52p6560848/
https://doi.org/10.1007/978-3-642-31365-3
https://hdl.handle.net/11562/414136

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs

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

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

Schlagwörter: Incomplete Programs, Java Bytecode, Program Models, Formal Verification, Datalogi, Computer Science

Dateibeschreibung: print

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

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

Autoren: Malte Mues Till Schallau Falk Howar

Quelle: Lecture Notes in Computer Science ISBN: 9783030634605

Schlagwörter: Dynamic Symbolic Execution, Java Bytecode Analysis, Dynamic Taint Analysis, Domain Specific Languages

Numerical static analysis with Soot

Autoren: AMATO, Gianluca DI NARDO DI MAIO, SIMONE SCOZZARI, Francesca

Quelle: Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis. :25-30

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, static analysis, numerical domains, java bytecode, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: http://dl.acm.org/citation.cfm?doid=2487568.2487571
https://hdl.handle.net/11564/471152
https://doi.org/10.1145/2487568.2487571