endorlabs / MIRAI

MIT License
95 stars 7 forks source link

How to generate Rust program's ICFG #12

Open lwz23 opened 3 days ago

lwz23 commented 3 days ago

Hi, I am trying to generate rust program's ICFG, and I notice this project, I wonder how can I use this project to generate Rust ICFG, is there any tutorial?

lwz23 commented 3 days ago

Now, I can generate the CG of Rust program with MIRAI, does MIRAI have the ability to generate ICFG(maybe combine CG and MIR)?