White Papers

Reliable Runtime Error Detection in Java Applications

aicas news Anniversary Issue 2006


The enormous success of Java technology is due to its many advantages over other popular programming languages. Strong typing, automatic memory deallocation through garbage collection, support for object oriented programming, and a large library of standard classes increase programmer productivity and reduce programming errors. Even critical applications, as in automotive or aerospace control, can profit from these advantages. Still, good tools can increase productivity and reduce errors further. Java’s well defined syntax and semantics along with reflection and a common intermediate bytecode format simplify building such tools. Interesting resource and correctness analysis of Java applications can be done both at the source code level and at the byte code level; though the focus here is byte code analysis.


Download: PDF icon PDF