Search Results - Java Program Analysis

Towards Practical and Automated Type-Based Program Analysis in Java

Authors: Karimipour, Nima

Subject Terms: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/98m4t37q
https://escholarship.org/content/qt98m4t37q/qt98m4t37q.pdf

Static Analysis for Data-race detection in Java

Authors: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António et al.

Contributors: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António et al.

Subject Terms: program analysis, points-to analysis, static analysis, data race, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

File Description: application/pdf

Availability: http://hdl.handle.net/10362/176239

Dynamic Java program analysis using virtual machine modification

Authors: M. . Ermakov S. . Vartanov

Source: Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 23-38 (2018)

Subject Terms: динамический анализ программ, профилирование памяти, java, android, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

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

Access URL: https://doaj.org/article/ba9f65f005904093bf8ea271e78ffa09

The Design of Java Database Application Mutation Analyzer based on Java Program Analysis

Authors: Zhu Yinfei

Source: International Journal of Advancements in Computing Technology. 4:468-477

Access URL: http://www.aicit.org/ijact/global/paper_detail.html?jname=IJACT&q=1744

PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs.

Authors: THAKUR, MANAS NANDIVADA, V. KRISHNA

Source: ACM Transactions on Programming Languages & Systems. Jul2019, Vol. 41 Issue 3, p1-37. 37p.

Subject Terms: *SOOT, *COMPILERS (Computer programs), *SYNCHRONIZATION

Javana: a system for building customized Java program analysis tools

Authors: Koen De Bosschere Dries Buytaert Lieven Eeckhout et al.

Source: ACM SIGPLAN Notices. 41:153-168

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

Access URL: https://dl.acm.org/doi/10.1145/1167515.1167487
https://www.elis.ugent.be/~leeckhou/papers/oopsla06.pdf
https://dblp.uni-trier.de/db/conf/oopsla/oopsla2006.html#MaebeBEB06
https://biblio.ugent.be/publication/372162

The Influence of Alias and References Escape on Java Program Analysis

Authors: Shengbo Chen Dashen Sun Huaikou Miao

Source: International Journal of Networked and Distributed Computing (IJNDC), Vol 3, Iss 1 (2015)

Subject Terms: reference escape, program analysis, control flow, data flow, alias information, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://www.atlantis-press.com/article/14745.pdf; https://doaj.org/toc/2211-7946

Access URL: https://doaj.org/article/712abea0389543b987bccfa5a29c8233

An application layer with protocol-based java smart contract verification

Authors: Luca Olivieri Fausto Spoto Fabio Tagliaferro

Source: Frontiers in Computer Science, Vol 7 (2025)

Subject Terms: smart contract, software verification, program analysis, blockchain, distributed ledger technology, Tendermint, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fcomp.2025.1596804/full; https://doaj.org/toc/2624-9898

Access URL: https://doaj.org/article/3135a863cf0b4a0a903c7736c4bd6029

An Efficient and Scalable Platform for Java Source Code Analysis Using Overlaid Graph Representations

Authors: Oscar Rodriguez-Prieto Alan Mycroft Francisco Ortin

Source: IEEE Access, Vol 8, Pp 72239-72260 (2020)

Subject Terms: Code analysis, graph database, coding guidelines, declarative query language, program representation, Cypher, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

File Description: electronic resource

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

Access URL: https://doaj.org/article/7071db08b8fe4e1f97d497fb8b460b4b

Refactoring for Java-Structured Concurrency

Authors: Yang Zhang Gaojie Shen Liyan Zhang et al.

Source: Applied Sciences, Vol 15, Iss 5, p 2407 (2025)

Subject Terms: refactoring, structured concurrency, program analysis, parallel programming, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

File Description: electronic resource

Relation: https://www.mdpi.com/2076-3417/15/5/2407; https://doaj.org/toc/2076-3417

Access URL: https://doaj.org/article/339e3b17c9dd458b856c27957f0bd9db

Building Java program analysis tools using Javana

Authors: Buytaert, Dries Maebe, Jonas Eeckhout, Lieven et al.

Source: Companion of the 21st annual ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications

Subject Terms: Technology and Engineering, Customized Program Analysis Tool, Aspect-Oriented Instrumentation, Java

File Description: application/pdf

Access URL: https://biblio.ugent.be/publication/374716/file/496473.pdf
https://biblio.ugent.be/publication/374716/file/496473.pdf
https://biblio.ugent.be/publication/374716
https://core.ac.uk/display/55683110
http://buytaert.net/files/oopsla06-abstract.pdf
https://dblp.uni-trier.de/db/conf/oopsla/oopsla2006c.html#BuytaertMEB06
https://dl.acm.org/doi/10.1145/1176617.1176657
https://biblio.ugent.be/publication/374716
http://doi.org/1854/10316
https://biblio.ugent.be/publication/374716/file/496473
http://hdl.handle.net/1854/LU-374716

Java programming : from problem analysis to program design / D. S. Malik.

Authors: Malik, Davender S. (1958- ).

Subject Terms: Java (język programowania)

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1686752&theme=nukat

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation

Authors: Yang Zhang Shuai Shao Huan Liu et al.

Source: IEEE Access, Vol 7, Pp 66292-66303 (2019)

Subject Terms: Software refactoring, synchronization, consistency, locks, program analysis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

File Description: electronic resource

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

Access URL: https://doaj.org/article/845a3d04377541f58d11ecbd820bf45c

Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis

Formal Analysis of Java Programs in JavaFAN

Authors: José Meseguer Azadeh Farzan Feng Chen et al.

Source: Lecture Notes in Computer Science ISBN: 9783540223429

Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-540-27813-9_46.pdf
https://core.ac.uk/display/102309620
https://link.springer.com/content/pdf/10.1007%2F978-3-540-27813-9_46.pdf
http://fsl.cs.illinois.edu/pubs/farzan-chen-meseguer-rosu-2004-cav.pdf
https://dblp.uni-trier.de/db/conf/cav/cav2004.html#FarzanCMR04
https://link.springer.com/chapter/10.1007/978-3-540-27813-9_46
http://doi.org/10.1007/978-3-540-27813-9_46

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis

THE IMPACT OF SOCIAL SAFETY NET SCHOLARSHIPS PROGRAM TO SCHOOL DROPOUT RATES IN INDONESIA : THE INTENTION-TO-TREAT ANALYSIS

Authors: Kharisma, Bayu Satriawan, Elan Arsyad, Lincolin

Source: The Journal of Developing Areas, 2017 Oct 01. 51(4), 303-316.

Access URL: https://www.jstor.org/stable/26416977

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Authors: Artho, Cyrille Visser, W.

Source: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :224-228

Subject Terms: Java Pathfinder, Java program analysis, Software model checking

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-251826
https://doi.org/10.1007/978-3-030-17502-3_18

Property probes: Live exploration of program analysis results

Authors: Alakula, Anton Risberg Hedin, Gorel Fors, Niklas et al.

Source: Journal of Systems and Software. 211

Subject Terms: Program analysis, Debugging, Property probes, CodeProber

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-202469
https://liu.diva-portal.org/smash/get/diva2:1851573/FULLTEXT01.pdf