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

sun.reflect.NativeMethodAccessorImpl.invoke0 implementation does not work if the method is native

pietrobraione opened this issue · comments

The current implementation of the native method sun.reflect.NativeMethodAccessorImpl.invoke0 in class jbse.algo.meta.Algo_SUN_NATIVEMETHODACCESSORIMPL_INVOKE0 assumes that the invoked method has bytecode and creates a frame for it. It should instead behave as the invoke* bytecodes and keep into account the overridings so it can also execute native method for which an implementation exists.

Fixed by commit f725b57.