search

PKU-ASAL / SeeWasm

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

DWARF Debug info support in WasmModuleAnalyzer. #17

Closed am009 closed 3 years ago

am009 commented 3 years ago

self crafted functions: analyze_debug_info get_real_addr modified a little: get_source_location_by_addr copied functions: lpe_filename, get_func_name_by_addr

HNYuuu commented 3 years ago

Here are several things you should update @am009 :

  1. Specify which functions are written by yourself. For those functions are copied from Github, please leave the URL and give a brief description.
  2. Please add necessary comments in your functions, and change them into English cuz our target users are across the world.
am009 commented 3 years ago

Updated. Please review again.