[Lindd-feedback] LDDsolver?

[<Mar...@un...>]

Dear,

I'm Mariem Abdelmoula, a PHD student working on smart card security. I'm really
interested to use ldd for smart card modeling and testing. I downloaded the ldd
package (ldd-r6438.tar.gz) from sourceforge
http://sourceforge.net/projects/lindd/files/lddsolver/ and the lddsolver
(lddsolver-r4285.jar) as well. I tried to follow instructions from lddsolver manual
http://sourceforge.net/apps/trac/lindd/wiki/LddsolverEclipseTutorial , but I
didn't find the "LDDSolver-Sampl" as described in Run configuration operation.
Could you please explain me how to do an ldd test? which packages do I need, Is
it an SMT file?
should ldd package be included in lddsolver package? I tried to execute for
example test1 from ldd/src/test and to resolve it after by lddsolver, but it's
not clear to me how to use lddsolver?

I found this error when excuting java -jar lddsolver.jar

Exception in thread "main" java.lang.UnsatisfiedLinkError:
/tmp/JLDD-7358463826402034127.so: /tmp/JLDD-7358463826402034127.so: wrong ELF
class: ELFCLASS32 (Possible cause: architecture word width mismatch)
	at java.lang.ClassLoader$NativeLibrary.load(Native Method)
	at java.lang.ClassLoader.loadLibrary0(ClassLoader.java:1750)
	at java.lang.ClassLoader.loadLibrary(ClassLoader.java:1659)
	at java.lang.Runtime.loadLibrary0(Runtime.java:840)
	at java.lang.System.loadLibrary(System.java:1047)
	at edu.cmu.sei.rtss.smtlib.lddsolver.LDDSolver.<clinit>(LDDSolver.java:93)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
	at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:616)
	at com.simontuffs.onejar.Boot.run(Boot.java:306)
	at com.simontuffs.onejar.Boot.main(Boot.java:159)


Regards,
Mariem Abdelmoula