Need jpf built on jdk 1.7

24 views

Skip to first unread message

unread,

Feb 28, 2022, 7:46:09 AM2/28/22

to java-pa...@googlegroups.com

Hi all!

I am building a tool based on jpf in my research. However, my tool needs jpf built on jdk 1.7, which is unavailable on the official page.

Could you please provide me with the jdk 1.7 version of jpf suite (jpf-core, jpf- symbc and jpf-jdart)?

Best regards