Break recursion if checking if Null is simple

pietrobraione / jbse

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

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

GNU General Public License v3.0

101 stars 29 forks source link

Break recursion if checking if Null is simple #55

Closed alessandropellegrini closed 1 year ago

alessandropellegrini commented 3 years ago

When checking whether a null object is Simple, a lacking check would generate infinite recursion in the method, causing a stack overflow in the symbolic executor.

I am anyhow not 100% confident that this patch is correct, so waiting for your feedback on this.

pietrobraione commented 2 years ago

The patch is not correct, and I am not sure the infinite recursion has anything to do with null values, but rather with circularities. Can you please provide a test case?

pietrobraione commented 1 year ago

Change rejected