Improve the performance

PKU-ASAL / SeeWasm

A native symbolic execution engine for WebAssembly

40 stars 3 forks source link

Closed HNYuuu closed 2 years ago

HNYuuu commented 2 years ago

Improve the performance of EUNOMIA when dealing with the magma samples.

The experiments on magma samples will be continued.

HNYuuu commented 2 years ago

Please resolve the conflict as the introduction of magma @PisonJay