K Control Flow Graph (KCFG)

Understanding the KCFG output

Refer to K Control Flow Graph (KCFG) in the Kontrol for a detailed explanation on reading the KCFG (K Control Graph).

To launch the KCFG (K Control Graph) for KEVM use the command:

kevm view-kcfg ...

Instead of kevm foundry-view-kcfg ... as you will see in the Foundry integration docs.