Skip to content

Releases: PKU-ASAL/SeeWasm

1.1

06 Jul 09:51
@HNYuuu HNYuuu
1.1
e2a40c2
This commit was signed with the committer’s verified signature.
harveyghq Hanqin Guan
GPG key ID: CD8DE77DDEFAF742
Learn about vigilant mode.
Compare
Choose a tag to compare
1.1 Latest
Latest

This release is a stable version for ISSTA'24 Tool Demo.

Assets 2
Loading

Release of logic bomb benchmark

15 Apr 09:03
@HNYuuu HNYuuu
logic-bomb-release
dfad6cf
Compare
Choose a tag to compare
Release of logic bomb benchmark Pre-release
Pre-release

This is the code for the evaluation on the logic bomb benchmark.

The command is: python3 eunomia_entry -f ./Wasm-samples/logic_bomb_samples/emcc/[bomb_name].wasm -s --onlyfunc main --need_mapper. Please ask @HNYuuu for the detailed result on the benchmark.

Contributors

HNYuuu
Assets 2
Loading