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
102 stars 29 forks source link

master branch does not work under Windows #19

Closed pietrobraione closed 5 years ago

pietrobraione commented 5 years ago

In JBSE master there is not yet the implementation of a native method that is present only in the Windows version of class java.io.FileDescriptor, and that is invoked during <clinit>. Since file descriptors are initialized on virtual machine bootstrap, until we add this native method implementation JBSE cannot boot under Windows. Of course there could be more unimplemented natives under Windows (and Linux), so we need to check.

pietrobraione commented 5 years ago

Closed. Now JBSE can boot under Windows.