Giters

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation

Home Page:http://pietrobraione.github.io/jbse/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Array with unknown length

sjoon2455 opened this issue · comments

commented

Hi, I have a program that receives an array with unknown length as input.
The program looks like this:
image

Part of output of running jbse setting RunParameters.StepShowMode.LEAVES, RunParameters.StateFormatMode.TEXT is as follows.
스크린샷 2021-12-24 오후 3 02 40
Here, on the top the returned value is {R1} which is Object[4458], and this is an object in heap on the bottom.

I am having difficulty understanding the Items. Could anyone help me out?

I would appreciate any help, such as the meaning of -> or [_ + 0], and (if any) how to read the information of array getting swapped under certain path conditions.