exécuté en utilisant erreur KLEE

Question

Je suis nouveau à Klee, j'ai donc commencé à faire les tutoriels.

Si la compilation J'utilise:

1. LLVM-gcc --emit-LLVM -c -g get_sign.c puis je tente d'exécuter en utilisant get_sign.o klee je reçois l'erreur: KLEE: ERREUR: erreur lors du chargement du programme 'get_sign.o': enregistrement MODULE_CODE_GLOBALVAR non valide. L'erreur est définie dans le fichier BitcodeReader.cpp http://llvm.org/docs/doxygen/html/BitcodeReader_8cpp_source.html à la ligne 01594.

2. clang (que je l'ai utilisé avec succès pour mon LLVM passe), il semble que n'est pas possible de l'utiliser: KLEE: ERREUR: Erreur programme de chargement 'get_sign.o': Signature de code binaire invalide.

Savez-vous ce que je peux faire?

Aussi, ce serait bien de donner des entrées Klee compilées avec Clang que j'utilise déjà pour mes passes, mais comme le suggère l'erreur, c'est possible?

Merci d'avance!

Answer 1

Le problème est que j'ai installé Klee sur LLVM 3.1. Dans les instructions de http://klee.llvm.org/GetStarted.html, il est mentionné que Klee est entièrement compatible avec LLVM 2.9. Il est mentionné: "KLEE est actuellement testé uniquement sur des cibles Linux x86-32 et x86-64, en utilisant LLVM 2.9 KLEE ne fonctionnera pas avec les anciennes versions LLVM (par exemple, 2.5), et pourrait ne pas fonctionner avec les versions plus récentes (par exemple, 3.0) ". J'ai installé Klee sur LLVM 2.9 et ça fonctionne parfaitement.