Re: [Lindd-feedback] LDDsolver?

[Arie G. <ar...@cm...>]

Hi Mariem,

On Wed, Jun 12, 2013 at 11:04 AM,  <Mar...@un...> wrote:
> 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?

Can you tell me how you are planning to use LDD?

lddsolver was created only as a test harness for the LDD package. It
has not been maintained for a while now. While LDD package is actively
used by other tools. So I'm not sure whether you want to use the Java
API to LDD or the solver itself.

Since the package is pretty old, it seems that it has trouble running
in newer environment. The error you are reporting below, indicates
that you are running in 64 bit environment, but lddsolver was compiled
for 32 bit one. You might be able to use 32bit version of Java. I had
done this in the past.

For Eclipse, it appears that new versions of Eclipse do not recognize
old launchers. You can look at the definitions of the launchers in
launch directory in the source package. It should be easy to adapt
those to new version of Eclipse.

The Java source does include ldd package binary. It is the same one as
in lddsolver.jar.

All the best,
arie

> 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
>
>
> ------------------------------------------------------------------------------
> This SF.net email is sponsored by Windows:
>
> Build for Windows Store.
>
> http://p.sf.net/sfu/windows-dev2dev
> _______________________________________________
> lindd-feedback mailing list
> lin...@li...
> https://lists.sourceforge.net/lists/listinfo/lindd-feedback