Feat 72 visualize - Githubissues

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly

40 stars 4 forks source link

Feat 72 visualize #73

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

Enable the visualization of ICFG on basic block level.

Note, currently, we only guarantee the correctness once the entry is __original_main, as we fixed the _start as an outer and the caller of the __original_main.