Opened 23 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:


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.

Change History (0)

Note: See TracTickets for help on using tickets.