search

PKU-ASAL / SeeWasm

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

concolic execution #104

Closed 1874834431 closed 2 months ago

1874834431 commented 2 months ago

can concolic execution without check