https://sourceforge.net/p/javapathfinder/activity/Recent activity for JavaPathFinderenSun, 01 Oct 2017 20:30:28 -0000https://sourceforge.net/p/javapathfinder/bugs/69/?limit=25#e98emilos, jpf still havent developed low mechanism abstractions ,some methods that use the native librarires will be ignored by jpf the field.set function uses the same native library abstraction .thus every block of code that uses these will give JPF Exception as in this case Illegal Argument Exception . please go through this https://babelfish.arc.nasa.gov/trac/jpf/wiki/devel/mji#no1 I hope this helped you.Anunay kantSun, 01 Oct 2017 20:30:28 -0000https://sourceforge.net/p/javapathfinder/bugs/69/?limit=25#e98ehttps://sourceforge.net/p/javapathfinder/bugs/70/?limit=25#5bc8/f031please have a look .Anunay kantSat, 02 Sep 2017 21:40:46 -0000https://sourceforge.net/p/javapathfinder/bugs/70/?limit=25#5bc8/f031https://sourceforge.net/p/javapathfinder/bugs/70/?limit=25#f720the problem here is in the cast function in the src/classes/java.lang/class.java file in jpf source code. actually, it was using the following implementation, public T cast(Object obj){ if(o!=null && !instanceof(o)){ throws new ClassCastException(); } return (T)o; } here ,the instanceof() function is a native function and its implementation certainly is not working properly. so ,what i did was I modified the function as public T cast(Object o){ try{ return (T)o; } catch(ClassCastException e){ throw...Anunay kantSat, 02 Sep 2017 21:16:25 -0000https://sourceforge.net/p/javapathfinder/bugs/70/?limit=25#f720https://sourceforge.nethttp%3A//sourceforge.net/projects/javapathfinder/files/OldFiles/javapathfinder-src-1.0.zip/downloadJavaPathFinderWed, 14 Jan 2015 12:22:59 -0000http://sourceforge.net/projects/javapathfinder/files/OldFiles/javapathfinder-src-1.0.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/javapathfinder/files/OldFiles/jpf-lib.zip/downloadJavaPathFinderWed, 14 Jan 2015 12:22:59 -0000http://sourceforge.net/projects/javapathfinder/files/OldFiles/jpf-lib.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/javapathfinder/files/OldFiles/jpf-build-tools.zip/downloadJavaPathFinderWed, 14 Jan 2015 12:22:59 -0000http://sourceforge.net/projects/javapathfinder/files/OldFiles/jpf-build-tools.zip/downloadhttps://sourceforge.nethttp%3A//sourceforge.net/projects/javapathfinder/files/OldFiles/javapathfinder-src-libs-1.0-7-oct-05.zip/downloadJavaPathFinderWed, 14 Jan 2015 12:22:59 -0000http://sourceforge.net/projects/javapathfinder/files/OldFiles/javapathfinder-src-libs-1.0-7-oct-05.zip/download