Opened 20 months ago
#121 new feature
Where can I get the extract-llvm from?
| Reported by: | chenminglei | Owned by: | mornfall |
|---|---|---|---|
| Priority: | trivial | Milestone: | 4.4 |
| Component: | other | Keywords: | |
| Cc: |
Description
I have read the master's thesis paper "Compiling Applications
for Analysis with DIVINE". It mentions that divine providing a utility script extract-llvm to extract .llvmbc section in elf-header. But I can not find that in Divine-4.4.2.
Can someone tell me where to get extract-llvm, or how to extract the .llvmbc section. Thanks.
Note: See
TracTickets for help on using
tickets.