Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.

Marc Brockschmidt Thomas Ströder Carsten Otto Jürgen Giesl

Published in: FoVeOOS (2011)

Keyphrases

automated detection
java bytecode
virtual machine
automated analysis
programming language
java virtual machine
lung cancer
garbage collection
intermediate representation
efficient execution
memory management
type checking
active rules
program execution
metadata
data analysis
operating system
high level