Výsledky vyhledávání - a system for building Java program analysis tools~

Towards Practical and Automated Type-Based Program Analysis in Java

Autoři: Karimipour, Nima

Témata: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/98m4t37q
https://escholarship.org/content/qt98m4t37q/qt98m4t37q.pdf

Javana: A System for Building Customized Java Program Analysis Tools

Autoři: Jonas Maebe Dries Buytaert Lieven Eeckhout a další

Přispěvatelé: Jonas Maebe Dries Buytaert Lieven Eeckhout a další

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

Témata: Oriented Instrumentation

Popis souboru: application/pdf

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

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

Autoři: Buytaert, Dries Maebe, Jonas Eeckhout, Lieven a další

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

Témata: Technology and Engineering, Customized Program Analysis Tool, Aspect-Oriented Instrumentation, Java

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Maebe, Jonas Buytaert, Dries Eeckhout, Lieven a další

Zdroj: ACM SIGPLAN NOTICES ; ISSN: 0362-1340

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

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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Autoři: Almuzaini, Abdulaziz M. Alajaji, Ahmed I.

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

Témata: Artificial intelligence, Zoonoses, Machine learning, Health equity, Public health, Public health surveillance, Epidemiological models

Analysis Of Android Programming Languages Based On Several Factors.

Autoři: Bhoyate, Shweta¹ shweta.bhoyate@iccs.ac.in

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

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dirk Beyer Marieke Huisman

Resource Type: eBook.

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

Autoři: Ridho, Muhammad Cahyadi, Muhammad Pramono, Ahmad a další

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

Témata: Haplotypes, Water buffalo, Mitochondrial DNA, Phylogeny, DNA sequencing

Geografický termín: 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.

Autoři: Pramesthi, Indriya Laras Wiradnyani, Luh Ade Ari Anggraini, Roselynne a další

Zdroj: 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.

Autoři: Hasan, Firmanul Siregar, Josephine Elizabeth Pravitasari, Normalita Eka a další

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

Témata: Primates, Molecular diagnosis, Zoonoses, Wildlife monitoring, Blood parasites, Indonesians, Environmental health

Geografický termín: Indonesia

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

Autoři: Sukmanadi, Mohammad Sudjarwo, Sri Agus Effendi, Mustofa Helmi a další

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

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

Autoři: Soren K Khan D Kabiraj A a další

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

Způsob vydávání: Journal Article

Informace o časopise: 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

Výrazy ze slovníku MeSH: 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.

Autoři: Rahmanta Nasution, Siti Khadijah Hidayati Warsito, Edi

Zdroj: 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.

Autoři: Rafiq, Faizal Murtini, Sri Mujiatun a další

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

Comparison of Required Competences and Task Material in Modeling Education.

Autoři: Soyka, Chantal Ullrich, Meike Striewe, Michael a další

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

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

Autoři: Kaniyamattam, Karun Tedeschi, Luis O.

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

Generalized Aliasing as a Basis for Program Analysis Tools

Autoři: CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE O'Callahan, Robert

Zdroj: DTIC

Témata: Linguistics, Computer Programming and Software, Computer Hardware, SOFTWARE ENGINEERING, SEMANTICS, OFF THE SHELF EQUIPMENT, OBJECT ORIENTED PROGRAMMING, JAVA PROGRAMMING LANGUAGE, VERIFICATION, MODELS, SOFTWARE TOOLS, COMPUTER ARCHITECTURE, THESES, CODING, RECURSIVE FUNCTIONS, PARSERS, AUTOMATIC PROGRAMMING, Text

URL: https://apps.dtic.mil/docs/citations/ADA461095

Towards Practical and Automated Type-Based Program Analysis in Java

Autoři: Sridharan, Manu Karimipour, Nima

Témata: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis, publication

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