search

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
538 stars 341 forks source link

documentation for custom JVM? #502

Open williamj77 opened 1 month ago

williamj77 commented 1 month ago

Hello,

Is there documentation for the Pathfinder custom JVM?

williamj

cyrille-artho commented 1 week ago

No, unfortunately not; we currently focus on the JVM. If someone adds support for a different VM, then that work could also be illustrative and be used as a starting point for documentation.

williamj77 commented 1 week ago

Hello,

Thanks for responding.

I did read in a separate paper on how your custom JVM was created using Pathfinder.

Happy Holidays.

Sincerely, William Johnston

From: cyrille-artho Sent: Friday, November 22, 2024 12:19 PM To: javapathfinder/jpf-core Cc: William Johnston ; Author Subject: Re: [javapathfinder/jpf-core] documentation for custom JVM? (Issue #502)

No, unfortunately not; we currently focus on the JVM. If someone adds support for a different VM, then that work could also be illustrative and be used as a starting point for documentation.

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.Message ID: @.***>