search

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly
40 stars 4 forks source link

Comment request #18

Closed HNYuuu closed 2 years ago

HNYuuu commented 3 years ago

The function visit_interval in graph.py is hard to read and some names of variables are a little confused.

Please add some necessary comment and check my comment. @zzhzz

HNYuuu commented 2 years ago

The function visit_interval is refactored to follow the pseudo-code in our paper. Please check the paper for more details.