DU chain generation throws an exception for certain programs under test.
For example, starting test generation for the sample program test.misc.JavaMemoryPuzzleImpolite#main(String[]) results in
NullPointerException in ObjectAttribute, line 39,
essentially caused by the call to getObjectRefAtCurrentPos() at DUGenerator, line 550. Its return value is null, because for Newarray no value was pushed to the stack.
DU chain generation throws an exception for certain programs under test.
For example, starting test generation for the sample program
test.misc.JavaMemoryPuzzleImpolite#main(String[])results inNullPointerExceptioninObjectAttribute, line 39, essentially caused by the call togetObjectRefAtCurrentPos()atDUGenerator, line 550. Its return value is null, because forNewarrayno value was pushed to the stack.