Search Results - "Java Program Analysis"
-
1
Authors:
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
-
2
Authors: et al.
Source: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasSubject Terms: Software Verification, Java Program Analysis, Alloy, 0202 electrical engineering, electronic engineering, information engineering, Software Engineering, 02 engineering and technology
File Description: application/pdf
Access URL: http://hdl.handle.net/11336/15644
-
3
Authors: et al.
Source: Electronic Notes in Theoretical Computer Science. 248:57-66
Subject Terms: Datalog, Java program analysis, 0202 electrical engineering, electronic engineering, information engineering, demand-driven evaluation, 0102 computer and information sciences, 02 engineering and technology, boolean equation system, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Datalog, rewriting logic, Maude, JAVA program analysis V o B o
File Description: application/pdf
-
5
Authors: 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
-
6
Authors: et al.
Subject Terms: Software Engineering, Software Verification, Java Program Analysis, Alloy, https://purl.org/becyt/ford/1.2, https://purl.org/becyt/ford/1
File Description: application/pdf
Relation: info:eu-repo/semantics/altIdentifier/url/http://ieeexplore.ieee.org/document/6482141/; http://hdl.handle.net/11336/15644
Availability: http://hdl.handle.net/11336/15644
Nájsť tento článok vo Web of Science 
Full Text Finder