search

PKU-ASAL / SeeWasm

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

Feature/overflow laser #16

Closed HNYuuu closed 3 years ago

HNYuuu commented 3 years ago

Implement a naive overflow vulnerability detector