Detecting stack overflow errors

[Michael Pradel]

Hi,

running the following program with JPF leads to an out of memory error,
but I would expect a stack overflow error:

public class StackOverflow {
public static void main(String[] args) {
new StackOverflow().m();
}
public void m() {
m();
}
}

Is there a way to make JPF report a StackOverFlowError here? E.g. can I
set the maximal stack size in JPF, similar to -Xss for the Java HotSpot VM?

Thanks,
Michael

[Tarciana Dias da Silva]

--
Tarciana

[Tarciana Dias da Silva]

Hi Michael,

you have to add on comand line: java .... RunJPF.jar ... 

the parameter -Xmx1024m or like i did in mine: -Xmx4g

Then, probably the out of memory error will not occur.

On Mon, Feb 27, 2012 at 6:17 AM, Michael Pradel <mic...@binaervarianz.de> wrote:

--
Tarciana

[Peter Mehlitz]

The out-of-memory happens because from JPFs perspective there is no stack limit so far. While the vm.max_transition_length probably breaks transitions, the CFSerializer does not match states because of the different stack depths, so this keeps executing until the number of states grows too big.

A stack depth checker is pretty easy to implement as a methodEntered()/methodExited() listener. I might add it to the BudgetChecker.

-- Peter

[Peter Mehlitz]

now there is - gov.nasa.jpf.listener.StackDepthChecker.
10 lines of code

-- Peter

[Michael Pradel]

> now there is - gov.nasa.jpf.listener.StackDepthChecker.
> 10 lines of code

Thank you all for your help! The StackDepthChecker is exactly what I was
looking for.

Michael