javapathfinder-user

[Javapathfinder-user] jpf stack trace upon startup

[doug a. <dou...@ya...>]

Hi,

Has anyone any idea what would be causing this stack trace?

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.UnsatisfiedLinkError: sun.misc.Signal.findSignal(Ljava/lang/String;)I (no peer)
        at sun.misc.Signal.<init>(Signal.java:123)
        at java.lang.Terminator.setup(Terminator.java:40)
        at java.lang.Shutdown.add(Shutdown.java:87)
        at java.lang.Runtime.addShutdownHook(Runtime.java:190)



Thanks.

Doug


       
---------------------------------
Shape Yahoo! in your own image.  Join our Network Research Panel today!

Re: [Javapathfinder-user] jpf stack trace upon startup

[John P. <jp...@go...>]

That means you are hitting a method with native code, and JPF needs
bytecode.  You either need to stub out the code that is leading to this, or
provide a java implementation for JPF to use via the Model Java Interface.
There are examples  -  i think in the env directory.

John

On 8/2/07, doug arro <dou...@ya...> wrote:
>
> Hi,
>
> Has anyone any idea what would be causing this stack trace?
>
> ====================================================== error #1
> gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
> java.lang.UnsatisfiedLinkError: sun.misc.Signal.findSignal(Ljava/lang/String;)I
> (no peer)
>         at sun.misc.Signal.<init>(Signal.java:123)
>         at java.lang.Terminator.setup(Terminator.java:40)
>         at java.lang.Shutdown.add(Shutdown.java:87)
>         at java.lang.Runtime.addShutdownHook(Runtime.java:190)
>
>
>
> Thanks.
>
> Doug
>
> ------------------------------
> Shape Yahoo! in your own image. Join our Network Research Panel today!<http://us.rd.yahoo.com/evt=48517/*http://surveylink.yahoo.com/gmrs/yahoo_panel_invite.asp?a=7>
>
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Splunk Inc.
> Still grepping through log files to find problems?  Stop.
> Now Search log events and configuration files using AJAX and a browser.
> Download your FREE copy of Splunk now >>  http://get.splunk.com/
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user
>
>