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

java.lang.Classloader.findBootstrapClass should load class #30

Closed pietrobraione closed 3 years ago

pietrobraione commented 4 years ago

Apparently the native method java.lang.Classloader.findBootstrapClass loads the class if it is not yet loaded before returning it. The current implementation that returns the class only if it is already loaded is therefore wrong.