search

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code
http://svf-tools.github.io/SVF/
Other
1.43k stars 436 forks source link

Does this work on MachineInstr? #473

Open mwang14 opened 3 years ago

mwang14 commented 3 years ago

Hello! This is an awesome project :). I am trying to propagate information down to the assembly level, and so I am trying to run this on MachineInstr's. Is there any way to do this, or any known way to propagate information from IR to MIR?

yuleisui commented 3 years ago

Unfortunately, SVF now only supports the analysis of LLVM-IR. You can try to annotate the results from SVF on LLVM's IR if there is a third-party tool that can propagate information from IR to MIR.

mwang14 commented 3 years ago

Aw, sounds good. Thanks for the response :)