Giters

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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

How about migrating the project from java to kotlin.

adicoder95 opened this issue · comments

commented

Kotlin based apps can perform better, thus making the app smoother.
I am a Kotlin developer and I would love to contribute in this project.

commented

The JPF codebase requires a close interaction with the data structures of the underlying host JVM and its native methods. I do not see how using Kotlin would help in the code of jpf-core itself.
However, we could use help with adapting Kotlin libraries to JPF. I have a student who is working on this and will probably soon make a first contribution. There is more work to be done in that area for sure.

commented

I would like to help on this migration.