harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Alexei Fedotov (JIRA)" <j...@apache.org>
Subject [jira] Commented: (HARMONY-3910) [drlvm][verifier] VerifyError is reported for class in mpowerplayer application
Date Thu, 31 May 2007 17:06:16 GMT

    [ https://issues.apache.org/jira/browse/HARMONY-3910?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#action_12500415

Alexei Fedotov commented on HARMONY-3910:

The good thing is that return addresses on stack cannot be merged, so if we come to already
marked subroutine the return address is already in local variable.  In other words, if we
come to already marked subroutine we need to follow the path till the entrance, and on return
examine ret local variable index.

If we come to the top level code, than no analysis is required. What if we come to marked
unknown code?

> [drlvm][verifier] VerifyError is reported for class in mpowerplayer application
> -------------------------------------------------------------------------------
>                 Key: HARMONY-3910
>                 URL: https://issues.apache.org/jira/browse/HARMONY-3910
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>            Reporter: Pavel Rebriy
>         Attachments: subtask_and_path_simplification.patch, test.patch, test.patch
> There is a bug described by Chris Elford in HARMONY-3720.
> Chris Elford [27/Apr/07 03:08 PM]
> Note that I found another app that exhibits the data flow analysis error.
> the mpowerplayer.com player.jar file fails (http://mpowerplayer.com/download.jsp?build=1185):
> C:\java\test\mpp\mpp-sdk>c:\java\sun50_09_jre\bin\java -jar player.jar
> mpowerplayer 2.0.1185
> C:\java\test\mpp\mpp-sdk>c:\java\harmony-hdk-r532358\jdk\jre\bin\java -jar player.jar
> Uncaught exception in main:
> java.lang.reflect.InvocationTargetException
>         at java.lang.reflect.VMReflection.invokeMethod(VMReflection.java)
>         at java.lang.reflect.Method.invoke(Method.java:382)
>         at org.apache.harmony.vm.JarRunner.main(JarRunner.java:80)
> Caused by: java.lang.VerifyError: (class: com/mpp/player/mphc, method: <clinit>()V)
Data flow analysis error
>         at java.lang.ClassLoader.defineClass0(ClassLoader.java)
>         at java.lang.ClassLoader.defineClass(ClassLoader.java:417)
>         at java.security.SecureClassLoader.defineClass(Unknown Source)
>         at java.net.URLClassLoader.findClassImpl(Unknown Source)
>         at java.net.URLClassLoader$4.run(Unknown Source)
>         at java.net.URLClassLoader$4.run(Unknown Source)
>         at java.security.AccessController.doPrivilegedImpl(AccessController.java:171)
>         at java.security.AccessController.doPrivileged(AccessController.java:64)
>         at java.net.URLClassLoader.findClass(Unknown Source)
>         at java.lang.ClassLoader.loadClass(ClassLoader.java:554)
>         at java.lang.ClassLoader$SystemClassLoader.loadClass(ClassLoader.java:942)
>         at java.lang.ClassLoader.loadClass(ClassLoader.java:311)
>         at java.lang.reflect.VMReflection.invokeMethod(VMReflection.java)
>         ... 2 more 
> The problem is in analyzing subroutine bounds algorithm, verifier performs data flow
analysis on a wrong basic block.

This message is automatically generated by JIRA.
You can reply to this email to add a comment to the issue online.

View raw message