search

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

Difference in behavior between JBSE and Java 1.8.0_221 #28

Closed pietrobraione closed 4 years ago

pietrobraione commented 4 years ago

The following code:

m() {
    final SimpleDateFormat f = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss,SSS");
}

when run with Oracle Java 1.8.0_122 ends silently, when run with JBSE raises the following exception:

java.util.MissingResourceException: Can't find resource for bundle sun.text.resources.it.FormatData_it, key AmPmMarkers

This happens with the it_IT locale. Changing the locale (e.g., to en_US) yields different, but related, errors.

pietrobraione commented 4 years ago

The issue is due to the wrong visibility assigned to the clone method of arrays. Fixed with commit d5401d7.