A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Precise Analysis of Java Programs Using JOANA
2008
2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation
Preserved Fulltext
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence graph computation, slicing and chopping for sequential and concurrent programs, computation of path conditions and algorithms for software security. This demonstration presents the JOANA plugin for the Eclipse framework. In the current version, a user can compute and navigate through dependence graphs for full Java
doi:10.1109/scam.2008.17
dblp:conf/scam/GiffhornH08
fatcat:trza2jz32rclfkaafmiambjbqm