Decouple `func_index2func_name`

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly

40 stars 4 forks source link

Decouple `func_index2func_name` #63

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

The current func_index2func_name is stored in WasmVM.

Considering that the func_index2func_name is initialized only once and will not be updated, and it is widely used in the project, I strongly recommend to store it as a static variable in the Configuration static class.

p.s., the name will be changed to func_index_to_func_name to keep align with the current coding style.

HNYuuu commented 2 years ago

I have decouple the func_index2func_name and coverage in the pr #64.

Moreover, I eliminated some useless args for initiation the object of Engine and Graph.