(original) (raw)

Hi mudongliang,

I have tried using mcsema tool on x86\_64 binaries. It works well for small programs. One large project I am trying now and was getting an error. Trying to resolve the same.

To use mcsema, you have two main tools:
bin\_descend : to get the cfg (in google protocol buffer format) from binary
cfg\_to\_bc : to convert the cfg created in the earlier step to LLVM IR.

You can tell me what is the problem that you were facing while using this tool. I might be able to help.

On Sat, Jul 18, 2015 at 10:19 AM, 慕冬亮 <mudongliangabcd@gmail.com> wrote:
What we want to do is to transform binary(binary with symbolic information) to llvm IR in static way.
I will instrument code in the llvm IR.
The compiler may be llvm clang.

2015-07-18 0:11 GMT+08:00 Shuai Wang <wangshuai901@gmail.com>:
This is not a easy task. And I believe there is NO (open-source) tool can fully solve this problem (statically). Correct me if I was wrong.

It would be more helpful if you can provide details about what you want to do, say, static or dynamic ? stripped binary or binary with symbolic information?
What compiler do you work on?

Check out papers below if you are interested.





Shuai



On Fri, Jul 17, 2015 at 3:09 AM, 慕冬亮 <mudongliangabcd@gmail.com> wrote:
I want to transform elf binary to llvm IR, and do some instrumentation based on llvm.
Is there any tool which can do the transformation?
Thanks in advance.
- mudongliang

\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
LLVM Developers mailing list
LLVMdev@cs.uiuc.edu http://llvm.cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev




\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
LLVM Developers mailing list
LLVMdev@cs.uiuc.edu http://llvm.cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev




--
Thanx & Regards
Mayur Pandey