Precise Analysis of Java Programs Using JOANA

Dennis Giffhorn, Christian Hammer
2008 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation  
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
more » ... ode, analyze Java programs with a broad range of slicing and chopping algorithms, and use precise algorithms for language-based security to check programs for information leaks. Eighth IEEE International Working Conference on Source Code Analysis and Manipulation 978-0-7695-3353-7/08 $25.00
doi:10.1109/scam.2008.17 dblp:conf/scam/GiffhornH08 fatcat:trza2jz32rclfkaafmiambjbqm