K Control Flow Graph (KCFG)
Understanding the KCFG output
Last updated
Understanding the KCFG output
Last updated
Refer to in the for a detailed explanation on reading the KCFG (K Control Graph).
To launch the KCFG (K Control Graph) for KEVM use the command:
Instead of kevm foundry-view-kcfg ... as you will see in the Foundry integration docs.