How to generate Rust program's ICFG

[lwz23]

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]

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

[hermanventer]

Can you explain in more detail what you mean by ICFG?

[lwz23]

I means Inter-procedural Control Flow Graphs (ICFGs)

[hermanventer]

MIRAI does not provide an option to generate an ICFG. You may have better luck with Charon (see https://arxiv.org/pdf/2410.18042).