Problems building and running the tools

[raririn]

Hello,

I had a lot of problems when building and running the tool. To name a few I remember:

1. The LLVM does not have a copy of clang included (so which version should be specified?)
2. The z3 included was not complete.
3. The instructions were not enough to build klee. If I remember the uclibc needs to be built before building, and also the building command won't run without adding another option specifying LLVM path (at least on my machines).
4. There are hard-coded paths in the makefile and shell scripts (e.g. Makefile_build_EST on line 127)
5. There are some non-existing filenames: there wasn't a file named "TCP_Core_v4.bc" when executing LINUX_est_flipping.sh to line 169.

I have tried to fix those issues, but was no way to be sure I didn't mess up with anything. After "fixes" I got something which looks like empty results:

false
false
--Basic Instrumentation Done--
false
3whs false
Inside Loop
Current Executig File: CY
---Start processing 0th Program---

real    3m16.765s
user    2m6.404s
sys     0m8.700s
  >>Model Checking is done
CY runs normally
30
2
Done
Traceback (most recent call last):
  File "/******/SCENT/Script/Calculate_cov.py", line 52, in <module>
    print succ*100.0/tot
ZeroDivisionError: float division by zero
  >>Current Culmutative Coverage: Succ: 0  Tot: 0  Coverage:
  >>Check if there are new flipping target
Traceback (most recent call last):
  File "/home/spl/fqy5067/SCENT/Script/Calculate_BBs.py", line 23, in <module>
    Model1_offset = int(sys.argv[4])
ValueError: invalid literal for int() with base 10: "'myCoverageLib.so':"
mv: cannot stat 'Branches_BB_set_bak.log': No such file or directory
  >>No new flipping basic blocks
Inside Loop
Program End

Would you provide any insights?