Search Results - a systems for building java program analysis tools

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

Javana: A System for Building Customized Java Program Analysis Tools

Authors: Jonas Maebe Dries Buytaert Lieven Eeckhout et al.

Contributors: Jonas Maebe Dries Buytaert Lieven Eeckhout et al.

Source: http://buytaert.net/files/oopsla06-paper.pdf.

Subject Terms: Oriented Instrumentation

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.9926

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.9926
http://buytaert.net/files/oopsla06-paper.pdf

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
http://doi.org/1854/10316
https://biblio.ugent.be/publication/374716/file/496473
http://hdl.handle.net/1854/LU-374716

Javana: a system for building customized Java program analysis tools

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

Source: ACM SIGPLAN NOTICES ; ISSN: 0362-1340

Subject Terms: Technology and Engineering, as is the case in Java, Understanding the behavior of applications running on high-level language virtual machines, is non-trivial because of the tight entanglement at the lowest execution level between the application and the virtual machine. This paper proposes Javana, a system for building Java program analysis tools, Javana provides an easy-to-use instrumentation infrastructure that allows for building customized profiling tools very quickly. Javana runs a dynamic binary instrumentation tool underneath the virtual machine. The virtual machine communicates with the instrumentation layer through an event handling mechanism for building a vertical map that links low-level native instruction pointers and memory addresses to high-level language concepts such as objects, methods, threads, lines of code, etc. The dynamic binary instrumentation tool then intercepts all memory accesses and instructions executed and provides the Javana end user with high-level language information for all memory accesses and natively executed instructions, We demonstrate the power of Javana through a number of applications: memory address tracing, vertical cache simulation and object lifetime computation. For each of these applications, the instrumentation specification requires only a small number of lines of code. Developing similarly powerful profiling tools within a virtual machine (as done in current practice) is both time-consuming and error-prone, in addition, the accuracy of the obtained profiling results might be questionable as we show in this paper

Relation: https://biblio.ugent.be/publication/372162; https://doi.org/10.1145/1167515.1167487

Availability: https://biblio.ugent.be/publication/372162
https://hdl.handle.net/1854/LU-372162
https://doi.org/10.1145/1167515.1167487

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

The Role of Artificial Intelligence in Combating Zoonotic and Public Health Infectious Diseases: A One Health Perspective on Challenges and Future Directions.

Authors: Almuzaini, Abdulaziz M. Alajaji, Ahmed I.

Source: Pakistan Veterinary Journal. 2025, Vol. 45 Issue 4, p1532-1542. 11p.

Subjects: Artificial intelligence, Zoonoses, Machine learning, Health equity, Public health, Public health surveillance, Epidemiological models

Analysis Of Android Programming Languages Based On Several Factors.

Authors: Bhoyate, Shweta¹ shweta.bhoyate@iccs.ac.in

Source: Journal of Advanced Zoology. 2024 Supplement, Vol. 45, p73-76. 4p.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Subjects: Data structures (Computer science), Computer logic, Computers, Computer science, Computer system failures, Software engineering, Electronic data processing, Electronic digital computers

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General

Exploring the matrilineal ancestry of swamp buffaloes (Bubalus bubalis) in Sijunjung Regency, West Sumatra, through partial cytochrome-b sequencing.

Authors: Ridho, Muhammad Cahyadi, Muhammad Pramono, Ahmad et al.

Source: Open Veterinary Journal. 2025, Vol. 15 Issue 12, p6470-6479. 10p.

Subjects: Haplotypes, Water buffalo, Mitochondrial DNA, Phylogeny, DNA sequencing

Geographic Terms: Sumatra (Indonesia), Southeast Asia, East Asia, Indonesia, China

Evaluating the Impact of Indonesia's National School Feeding Program (ProGAS) on Children's Nutrition and Learning Environment: A Mixed-Methods Approach.

Authors: Pramesthi, Indriya Laras Wiradnyani, Luh Ade Ari Anggraini, Roselynne et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3575. 21p.

First molecular evidence of Hepatocystis infection in non-human primates from Indonesia using fecal DNA: Implications for wildlife surveillance and One Health.

Authors: Hasan, Firmanul Siregar, Josephine Elizabeth Pravitasari, Normalita Eka et al.

Source: Veterinary World. Nov2025, Vol. 18 Issue 11, p3651-3669. 19p.

Subjects: Primates, Molecular diagnosis, Zoonoses, Wildlife monitoring, Blood parasites, Indonesians, Environmental health

Geographic Terms: Indonesia

Silico study: Hepatoprotective effects of capsaicin on the liver of aflatoxin B1-intoxicated mice (Mus musculus).

Authors: Sukmanadi, Mohammad Sudjarwo, Sri Agus Effendi, Mustofa Helmi et al.

Source: Open Veterinary Journal. 2025, Vol. 15 Issue 10, p5335-5345. 11p.

Subjects: Capsaicin, Aflatoxins, Bioinformatics, Mitogen-activated protein kinases, Molecular docking, Liver regeneration, Mice, Protein kinase B

Physiological and genomic insights into Bacillus sp. BRTN from Baratang mud volcano with emphasis on SUF system proteins.

Authors: Soren K Khan D Kabiraj A et al.

Source: Archives of microbiology [Arch Microbiol] 2025 Sep 25; Vol. 207 (11), pp. 280. Date of Electronic Publication: 2025 Sep 25.

Publication Type: Journal Article

Journal Info: Publisher: Springer-Verlag Country of Publication: Germany NLM ID: 0410427 Publication Model: Electronic Cited Medium: Internet ISSN: 1432-072X (Electronic) Linking ISSN: 03028933 NLM ISO Abbreviation: Arch Microbiol Subsets: MEDLINE

MeSH Terms: Bacillus*/genetics , Bacillus*/isolation & purification , Bacillus*/metabolism , Hot Springs*/microbiology , Ferrous Compounds* , Genome, Bacterial*, Soil/chemistry ; Bacterial Proteins/genetics ; India ; Islands ; Soil Microbiology ; Maximum Tolerated Dose ; Microbial Sensitivity Tests ; Phylogeny

Forecast Analysis of Corn and Cassava Production in North Sumatra Province, Indonesia.

Authors: Rahmanta Nasution, Siti Khadijah Hidayati Warsito, Edi

Source: Asian Journal of Dairy & Food Research. 2025 Special Issue, Vol. 44, p182-187. 6p.

The Detection and Analysis of Factors Associated with the Incidence of Lumpy Skin Disease in Cattle Transhipped at Merak Port, Indonesia.

Authors: Rafiq, Faizal Murtini, Sri Mujiatun et al.

Source: Jurnal Medik Veterinar. Apr2025, Vol. 8 Issue 1, p26-39. 14p.

Comparison of Required Competences and Task Material in Modeling Education.

Authors: Soyka, Chantal Ullrich, Meike Striewe, Michael et al.

Source: Scientific Papers: Animal Science & Biotechnologies / Lucrari Stiintifice: Zootehnie si Biotehnologii. 2024, Vol. 57 Issue 1, p1-36. 36p.

Subjects: Assessment of education, Computer science education, Landscape assessment, Master's degree, Computer simulation, Educational outcomes

ASAS-NANP symposium: mathematical modeling in animal nutrition: agent-based modeling for livestock systems: the mechanics of development and application.

Authors: Kaniyamattam, Karun Tedeschi, Luis O.

Source: Journal of Animal Science. Jan2023, Vol. 101 Issue 1, p1-11. 11p. 4 Diagrams.

Epidemiology of Gastrointestinal Parasites in Beef Cattle at Baluran National Park Interface Area: Prevalence and Risk Factors.

Authors: Indrasanti, D. Subrata, S. A. Artama, W. T.

Source: Tropical Animal Science Journal. Mar2026, Vol. 49 Issue 2, p133-140. 8p.

Precision of dairy farming: navigating challenges and seizing opportunities for sustainable dairy production in Africa.

Authors: Tadele, Etsemeskel Worku, Destaw Yigzaw, Dessie et al.

Source: Frontiers in Animal Science. 2025, p1-15. 15p.